Sign in
Successful SAT Encoding Techniques.
Magnus Björk
Published in:
J. Satisf. Boolean Model. Comput. (2011)
Keyphrases
</>
sat encodings
sat solvers
pseudo boolean constraints
graph coloring
upper bound
linear programming
sat solving
constraint satisfaction problems
constraint satisfaction