714 search results - page 2 / 143 » Lexicographically-ordered constraint satisfaction problems |
CPAIOR
2009
Springer
13 years 12 months ago
2009
Springer
Abstract: This paper introduces six ways for handling a chain of lexicographic ordering constraint between the origins of identical orthotopes (e.g., rectangles, boxes, hyper-recta...
CONSTRAINTS
2006
13 years 5 months ago
2006
Constraint satisfaction problems (CSPs) sometimes contain both variable symmetries and value symmetries, causing adverse effects on CSP solvers based on tree search. As a remedy, s...
PROCEDIA
2011
12 years 8 months ago
2011
We report the first evaluation of Constraint Satisfaction as a computational framework for solving closest string problems. We show that careful consideration of symbol occurrenc...
CONSTRAINTS
2007
13 years 5 months ago
2007
AAAI
2012
11 years 7 months ago
2012
Novel tractable classes of the binary CSP (constraint satisfaction problem) have recently been discovered by studying classes of instances defined by excluding subproblems descri...