Classification of SAT Problem Instances by Machine Learning Methods.
Márk DanisovszkyZijian Gyozo YangGábor KusperPublished in: ICAI (2020)
Keyphrases
- machine learning methods
- machine learning
- sat problem
- machine learning algorithms
- machine learning approaches
- sat instances
- randomly generated
- stochastic local search
- random sat instances
- statistical methods
- ensemble methods
- propositional satisfiability
- satisfiability problem
- np complete
- dynamic programming
- learning algorithm
- learned knowledge
- phase transition
- probability distribution
- max sat
- lower bound
- boolean satisfiability
- np complete problems
- weighted max sat
- data mining