A Decision-Making Procedure for Resolution-Based SAT-Solvers.
Eugene GoldbergPublished in: SAT (2008)
Keyphrases
- sat solvers
- clause learning
- decision making
- clause learning sat solvers
- davis putnam
- propositional satisfiability
- sat solving
- orders of magnitude
- sat problem
- search space
- search strategies
- decision makers
- constraint satisfaction
- max sat
- search tree
- unit propagation
- sat instances
- boolean formula
- weighted max sat
- learning algorithm
- sat encodings
- boolean satisfiability
- reinforcement learning
- propositional logic
- answer sets
- objective function
- np hard