A Machine Learning Technique for Hardness Estimation of QFBV SMT Problems.
Mohammad Abdul AzizAmr G. WassalNevin M. DarwishPublished in: SMT@IJCAR (2012)
Keyphrases
- machine learning
- computational biology
- decision problems
- artificial intelligence
- np complete
- computational complexity
- support vector machine
- problems involving
- estimation algorithm
- pattern recognition
- active learning
- search space
- supervised learning
- optimization problems
- search algorithm
- image sequences
- decision trees
- computer vision