The Log-Support Encoding of CSP into SAT.

Marco Gavanelli

Published in: CP (2007)

Keyphrases

sat encodings
constraint satisfaction problems
end users
backtracking search
constraint satisfaction
decision support
temporal logic
satisfiability problem
sat problem