Results 251 to 260 of about 5,971,608 (284)

Full Constraint Satisfaction Problems

SIAM Journal on Computing, 2006
Feder and Vardi have conjectured that all constraint satisfaction problems to a fixed structure (constraint language) are polynomial or NP-complete. This so-called dichotomy conjecture remains open, although it has been proved in a number of special cases.
Pavol Hell, Tomáš Feder
exaly   +2 more sources

Belief Constraint Satisfaction Problems

2015 IEEE/ACS 12th International Conference of Computer Systems and Applications (AICCSA), 2015
Every problem that can be described by a set of variables and a set of constraints among those variables can easily be cast as a Constraint Satisfaction Problem (CSP). In spite of its simplicity, the standard CSP has proven unsuited for modeling ill-defined decision problems, especially, under uncertain circumstances.
Aouatef Rouahi   +2 more
openaire   +1 more source

Constraint satisfaction problems

ACM SIGLOG News, 2018
In this paper we briefly survey the history of the Dichotomy Conjecture for the Constraint Satisfaction problem, that was posed 25 years ago by Feder and Vardi. We outline some of the approaches to this conjecture, and then describe an algorithm that yields an answer to the conjecture.
openaire   +3 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

Constraint Satisfaction Differential Problems

2003
System dynamics is often modeled by means of parametric differential equations. Despite their expressive power, they are difficult to reason about and make safe decisions, given their non-linearity and the important effects that the uncertainty on data may cause.
Jorge Cruz 0001, Pedro Barahona
openaire   +1 more source

Constraint Satisfaction Problems: An Overview

AI Communications, 1989
Many AI problems can be formulated as Constraint Satisfaction Problems (CSP). Using a systematic search process with backtracking this kind of problems can be solved, but this method is very inefficient. Other methods solving CSP have been developed showing a better performance.
openaire   +2 more sources

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

Home - About - Disclaimer - Privacy