2 search results - page 1 / 1 » Compiling Finite Linear CSP into SAT |
CP
2006
Springer
15 years 7 months ago
2006
Springer
152
click to vote
CSCLP
2004
Springer
15 years 8 months ago
2004
Springer
We introduce a framework for studying and solving a class of CSP formulations. The framework allows constraints to be expressed as linear and nonlinear equations, then compiles th...