Compiling Finite Linear CSP into SAT.

Naoyuki Tamura Akiko Taga Satoshi Kitagawa Mutsunori Banbara

Published in: CP (2006)

Keyphrases

sat problem
constraint satisfaction problems
sat encodings
sat solvers
backtracking search
sat solving
search algorithm
np hard
np complete
constraint programming
phase transition
combinatorial problems
boolean satisfiability
constraint propagation
decomposition methods