Results 261 to 270 of about 1,354,069 (285)

Constraint Satisfaction and Constraint Programming: A Brief Lead-In

1994
This paper presents the authors’ vision about the achievements and expected further developments in the paradigm and techniques of constraint solving, and in applying these in ...
Brian H. Mayoh, Enn Tyugu, Tarmo Uustalu
openaire   +1 more source

Constraint and Life Satisfaction

Journal of Gerontology, 1972
K J, Smith, A, Lipman
openaire   +2 more sources

An Algorithm for Constraint Satisfaction Problem

2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL), 2017
Many natural combinatorial problems can be expressed as constraint satisfaction problems. This class of problems is known to be NP-complete in general, but certain restrictions on theform of the constraints can ensure tractability. The standard way to parameterize interesting subclasses of the constraint satisfaction problem is via finite constraint ...
openaire   +2 more sources

Algebraic Approach to Promise Constraint Satisfaction

Journal of the ACM, 2021
Jakub Bulin, Libor Barto, Jakub Opršal   +2 more
exaly  

On the design of constraint satisfaction problems

1994
The development of a system based on constraint programming includes two main phases: first, the problem to be solved is formulated as a constraint satisfaction problem; then, the formulation is implemented in a constraint-programming language. Constraint-programming research has mainly concentrated on the second phase, by studying powerful declarative
openaire   +2 more sources

Constraint satisfaction problems: Algorithms and applications

European Journal of Operational Research, 1999
Sally Brailsford, Barbara M Smith, Chris N Potts   +2 more
exaly  

Representations of the all_different Predicate of Constraint Satisfaction in Integer Programming

INFORMS Journal on Computing, 2001
H P Williams
exaly  

Full Constraint Satisfaction Problems

SIAM Journal on Computing, 2006
Pavol Hell, Tomáš Feder
exaly  

A dichotomy theorem for constraint satisfaction problems on a 3-element set

Journal of the ACM, 2006
Andrei Bulatov
exaly  

Constraint Satisfaction Problems Solvable by Local Consistency Methods

Journal of the ACM, 2014
Marcin Kozik, Libor Barto
exaly