Simple algorithm portfolio for SAT.
Mladen NikolicFilip MaricPredrag JanicicPublished in: Artif. Intell. Rev. (2013)
Keyphrases
- improved algorithm
- detection algorithm
- experimental evaluation
- computational cost
- worst case
- objective function
- computational complexity
- high accuracy
- optimal solution
- learning algorithm
- similarity measure
- optimization algorithm
- dynamic programming
- preprocessing
- probabilistic model
- neural network
- expectation maximization
- segmentation algorithm
- cost function
- search space
- tree structure
- times faster