Diversification by Clauses Deletion Strategies in Portfolio Parallel SAT Solving.
Long GuoSaïd JabbourJerry LonlacLakhdar SaisPublished in: ICTAI (2014)
Keyphrases
- sat solving
- boolean satisfiability
- sat solvers
- clause learning
- boolean optimization
- search strategies
- sat problem
- randomly generated
- integer linear programming
- tabu search
- genetic algorithm
- first order logic
- symmetry breaking
- boolean formula
- probabilistic planning
- search space
- phase transition
- branch and bound algorithm
- orders of magnitude
- search algorithm