749 search results - page 77 / 150 » Dualities for Constraint Satisfaction Problems |
CORR
2008
Springer
15 years 22 days ago
2008
Springer
This paper introduces a new algorithm for solving a subclass of quantified constraint satisfaction problems (QCSP) where existential quantifiers precede universally quantified ine...
107
click to vote
CP
2003
Springer
15 years 5 months ago
2003
Springer
Constraint satisfaction has been applied with great success in closed-world scenarios, where all options and constraints are known from the beginning and fixed. With the internet,...
117
Voted
AIPS
2006
15 years 2 months ago
2006
Recent research in AI Planning is focused on improving the quality of the generated plans. PDDL3 incorporates hard and soft constraints on goals and the plan trajectory. Plan traj...
147
Voted
AMAI
1999
Springer
15 years 9 days ago
1999
Springer
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
99
Voted
CONSTRAINTS
2002
15 years 13 days ago
2002
Linear equality and inequality constraints arise naturally in specifying many aspects of user interfaces, such as requiring that one window be to the left of another, requiring tha...