The impact of Entropy and Solution Density on selected SAT heuristics.
Dor CohenOfer StrichmanPublished in: CoRR (2017)
Keyphrases
- search algorithm
- search procedures
- greedy heuristics
- variable ordering
- information theory
- information theoretic
- decision trees
- mathematical model
- optimal solution
- search strategies
- solution quality
- domain independent
- integer programming
- sat solvers
- heuristic methods
- partial solutions
- greedy heuristic
- propositional satisfiability
- boolean satisfiability
- genetic algorithm