Login / Signup
SAT Encoding and CSP Reduction for Interconnected Alldiff Constraints.
Frédéric Lardeux
Éric Monfroy
Frédéric Saubion
Broderick Crawford
Carlos Castro
Published in:
MICAI (2009)
Keyphrases
</>
sat encodings
sat solvers
constraint satisfaction problems
combinatorial problems
graph coloring
constraint programming
np complete
integer linear programming
reinforcement learning
orders of magnitude
constraint satisfaction
planning problems
global constraints