Compiling finite linear CSP into SAT.
Naoyuki TamuraAkiko TagaSatoshi KitagawaMutsunori BanbaraPublished in: Constraints An Int. J. (2009)
Keyphrases
- constraint satisfaction problems
- sat problem
- sat encodings
- sat solvers
- backtracking search
- constraint satisfaction
- linearly separable
- satisfiability problem
- search algorithm
- finite number
- random instances
- tree decomposition
- stochastic local search
- sat instances
- linear systems
- arc consistency
- constraint propagation
- phase transition
- search strategies
- constraint programming
- search space