Exponential Recency Weighted Average Branching Heuristic for SAT Solvers.
Jia Hui LiangVijay GaneshPascal PoupartKrzysztof CzarneckiPublished in: AAAI (2016)
Keyphrases
- weighted average
- sat solvers
- search tree
- search strategies
- variable ordering
- propositional satisfiability
- constraint satisfaction
- max sat
- orders of magnitude
- branch and bound
- sat solving
- search space
- tree search
- sat instances
- boolean satisfiability
- sat problem
- optimal solution
- search algorithm
- search strategy
- clause learning sat solvers
- weighted sum
- branch and bound algorithm
- clause learning
- weighted max sat
- boolean formula
- lower bound
- sat encodings
- phase transition
- combinatorial optimization
- np complete
- genetic algorithm