Portfolio-Based Algorithm Selection for Circuit QBFs.
Holger H. HoosTomás PeitlFriedrich SlivovskyStefan SzeiderPublished in: CP (2018)
Keyphrases
- selection algorithm
- high accuracy
- detection algorithm
- dynamic programming
- computational complexity
- preprocessing
- search space
- k means
- optimization algorithm
- np hard
- computational cost
- decision making
- times faster
- tree structure
- segmentation algorithm
- experimental evaluation
- cost function
- significant improvement
- optimal solution
- learning algorithm
- theoretical analysis
- multi objective
- evolutionary algorithm
- matching algorithm
- image sequences
- recognition algorithm
- randomly generated