A general approach to constraint solving for declarative modeling domain

1999 IEEE International Conference on Information Visualization (Cat. No. PR00210) ◽

10.1109/iv.1999.781591 ◽

2003 ◽

Author(s):

K. Ghassan

Keyword(s):

Constraint Solving ◽

Declarative Modeling

Download Full-text

Experiments with Declarative Modeling of Maximum Clique Problem Using Solvers Supported by MiniZinc

2020 24th International Conference on System Theory, Control and Computing (ICSTCC) ◽

10.1109/icstcc50638.2020.9259673 ◽

2020 ◽

Author(s):

Ionut Muraretu ◽

Costin Badica

Keyword(s):

Maximum Clique ◽

Maximum Clique Problem ◽

Declarative Modeling ◽

Download Full-text

CSS Minification via Constraint Solving

ACM Transactions on Programming Languages and Systems ◽

10.1145/3310337 ◽

2019 ◽

Vol 41 (2) ◽

pp. 1-76

Author(s):

Matthew Hague ◽

Anthony W. Lin ◽

Chih-Duo Hong

Keyword(s):

Constraint Solving

Download Full-text

Automated test generation for OpenCL kernels using fuzzing and constraint solving

Proceedings of the 13th Annual Workshop on General Purpose Processing using Graphics Processing Unit ◽

10.1145/3366428.3380768 ◽

2020 ◽

Author(s):

Chao Peng ◽

Ajitha Rajan

Keyword(s):

Test Generation ◽

Constraint Solving ◽

Automated Test Generation ◽

Download Full-text

Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups

Constraints ◽

10.1023/b:cons.0000036021.31386.cc ◽

2004 ◽

Vol 9 (3) ◽

pp. 167-192

Author(s):

Guillem Godoy ◽

Robert Nieuwenhuis

Keyword(s):

Constraint Solving

Download Full-text

Backpropagation networks for logic constraint solving

Neurocomputing ◽

10.1016/0925-2312(94)90035-3 ◽

1994 ◽

Vol 6 (1) ◽

pp. 67-98 ◽

Author(s):

Angelo Monfroglio

Keyword(s):

Constraint Solving

Download Full-text

Constructive Geometric Constraint Solving: A New Application of Genetic Algorithms

Parallel Problem Solving from Nature — PPSN VII - Lecture Notes in Computer Science ◽

10.1007/3-540-45712-7_73 ◽

2002 ◽

pp. 759-768 ◽

Author(s):

R. Joan-Arinyo ◽

M.V. Luzón ◽

A. Soto

Keyword(s):

Genetic Algorithms ◽

Geometric Constraint ◽

Constraint Solving ◽

Geometric Constraint Solving ◽

Constructive Geometric Constraint Solving

Download Full-text

Adaptive and Multilevel Approach for Constraint Solving

Communications in Computer and Information Science - HCI International 2013 - Posters’ Extended Abstracts ◽

10.1007/978-3-642-39473-7_129 ◽

2013 ◽

pp. 650-654 ◽

Author(s):

Claudio León de la Barra ◽

Broderick Crawford ◽

Ricardo Soto ◽

Eric Monfroy

Keyword(s):

Constraint Solving ◽

Multilevel Approach

Download Full-text

An Exercise in Declarative Modeling for Relational Query Mining

Inductive Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-40566-7_12 ◽

2016 ◽

pp. 166-182 ◽

Author(s):

Sergey Paramonov ◽

Matthijs van Leeuwen ◽

Marc Denecker ◽

Luc De Raedt

Keyword(s):

Declarative Modeling

Download Full-text

A Value Set Analysis Refinement Approach Based on Conditional Merging and Lazy Constraint Solving

IEEE Access ◽

10.1109/access.2019.2936139 ◽

2019 ◽

Vol 7 ◽

pp. 114593-114606 ◽

Author(s):

Jian Lin ◽

Liehui Jiang ◽

Yisen Wang ◽

Weiyu Dong

Keyword(s):

Constraint Solving ◽

Value Set ◽

Download Full-text

Combining Evolutionary Algorithms with Constraint Solving for Configuration Optimization

2017 IEEE International Conference on Software Maintenance and Evolution (ICSME) ◽

10.1109/icsme.2017.32 ◽

2017 ◽

Author(s):

Kai Shi

Keyword(s):

Evolutionary Algorithms ◽

Constraint Solving ◽

Configuration Optimization

Download Full-text