A Compact and Efficient SAT-Encoding of Finite Domain CSP.

Tomoya Tanjo Naoyuki Tamura Mutsunori Banbara

Published in: SAT (2011)

Keyphrases

finite domain
constraint satisfaction problems
sat encodings
constraint propagation
constraint programming
constraint solving
constraint satisfaction
combinatorial problems
sat solvers
search space
np complete
planning problems