Non-Model-Based Algorithm Portfolios for SAT.
Yuri MalitskyAshish SabharwalHorst SamulowitzMeinolf SellmannPublished in: SAT (2011)
Keyphrases
- preprocessing
- experimental evaluation
- worst case
- optimization algorithm
- dynamic programming
- objective function
- optimal solution
- computational complexity
- expectation maximization
- detection algorithm
- high accuracy
- np hard
- times faster
- improved algorithm
- theoretical analysis
- matching algorithm
- learning algorithm
- simulated annealing
- computational cost
- cost function
- multi objective
- k means
- ant colony optimization
- tree structure
- search space
- lower bound
- phase transition
- genetic algorithm
- randomly generated
- integer linear programming
- propositional satisfiability