Influence of CNF Encodings of AtMost-1 Constraints on UNSAT-based PMSAT Solvers.
Mohamed El-bachir MenaiTasniem Nasser Al-YahyaPublished in: Informatica (Slovenia) (2013)
Keyphrases
- sat solvers
- sat encodings
- sat solving
- sat instances
- boolean satisfiability
- constraint satisfaction
- orders of magnitude
- constraint solver
- propositional satisfiability
- clause learning
- search space
- sat problem
- search strategies
- pseudo boolean
- max sat
- constraint satisfaction problems
- symmetry breaking
- pseudo boolean constraints
- non binary
- constrained optimization
- constraint programming
- neural network
- boolean formula
- constraint problems
- global constraints
- social influence
- combinatorial problems
- geometric constraints
- relational databases