An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers.
Mao LuoChu-Min LiFan XiaoFelip ManyàZhipeng LüPublished in: IJCAI (2017)
Keyphrases
- sat solvers
- clause learning
- search space
- orders of magnitude
- sat problem
- boolean formula
- constraint satisfaction
- search strategies
- sat solving
- search tree
- sat encodings
- sat instances
- propositional satisfiability
- unit propagation
- boolean satisfiability
- max sat
- heuristic search
- objective function
- cnf formula
- answer sets
- metaheuristic
- constraint satisfaction problems
- special case