MajorSat: A SAT solver to majority logic.
Yu-Min ChouYung-Chih ChenChun-Yao WangChing-Yi HuangPublished in: ASP-DAC (2016)
Keyphrases
- sat solvers
- sat solving
- orders of magnitude
- search space
- max sat
- sat problem
- propositional satisfiability
- boolean satisfiability
- constraint satisfaction
- sat instances
- propositional theories
- search strategies
- logic programming
- search tree
- constraint solver
- automated reasoning
- computational properties
- unsatisfiable cores
- data structure
- constraint satisfaction problems
- boolean formula
- answer sets
- sat encodings
- knowledge representation