A Comparison of CP, IP, and SAT Solvers through a Common Interface.

Neng-Fa Zhou Masato Tsuru Eitaku Nobuyama

Published in: ICTAI (2012)

Keyphrases

sat solvers
propositional satisfiability
orders of magnitude
search strategies
constraint satisfaction
max sat
constraint programming
sat solving
sat problem
sat instances
clause learning
boolean satisfiability
weighted max sat
clause learning sat solvers
logic programs