Can Machine Learning Learn a Decision Oracle for NP Problems? A Test on SAT.
Cristian GrozeaMarius PopescuPublished in: Fundam. Informaticae (2014)
Keyphrases
- machine learning
- np complete
- decision problems
- optimization problems
- database
- machine learning methods
- learning algorithm
- decision making
- computational biology
- benchmark problems
- decision rules
- sat solving
- propositional satisfiability
- search problems
- machine learning algorithms
- active learning
- computational complexity
- feature selection
- data mining