Ensemble-based prediction of SAT search behaviour.
Breanndán Ó NualláinMaarten de RijkeJohan van BenthemPublished in: Electron. Notes Discret. Math. (2001)
Keyphrases
- search algorithm
- search strategies
- prediction accuracy
- search space
- search problems
- search procedure
- search strategy
- information retrieval
- random forest
- neural network ensemble
- data sets
- ensemble classifier
- prediction error
- prediction model
- search methods
- orders of magnitude
- learning algorithm
- neural network
- artificial neural networks
- search efficiency
- stochastic local search