Login / Signup
Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT.
Josep Argelich
Alba Cabiscol
Inês Lynce
Felip Manyà
Published in:
J. Multiple Valued Log. Soft Comput. (2012)
Keyphrases
</>
boolean satisfiability
sat encodings
sat solvers
sat problem
combinatorial optimization
arc consistency
sat solving
search algorithm
computational complexity
lower bound
constraint satisfaction problems
constraint programming
constraint propagation
max sat
sat instances
backtracking search