What we can learn from conflicts in propositional satisfiability.

Youssef Hamadi Saïd Jabbour Lakhdar Saïs

Published in: Ann. Oper. Res. (2016)

Keyphrases

propositional satisfiability
sat solvers
automated reasoning
propositional logic
constraint programming
sat problem
industrial applications
variable ordering
constraint satisfaction
np complete
combinatorial optimization
davis putnam