Login / Signup
Efficient SAT-Encoding of Linear CSP Constraints.
Pedro Barahona
Steffen Hölldobler
Van-Hau Nguyen
Published in:
ISAIM (2014)
Keyphrases
</>
sat encodings
sat solvers
combinatorial problems
linear constraints
constraint satisfaction problems
constraint satisfaction
constraint programming
graph coloring
pseudo boolean constraints
global constraints
optimization algorithm
search strategies