Machine Learning for SAT: Restricted Heuristics and New Graph Representations.
Mikhail ShirokikhIlya ShenbinAnton AlekseevSergey I. NikolenkoPublished in: CoRR (2023)
Keyphrases
- graph representations
- machine learning
- search algorithm
- stochastic local search algorithms
- learning algorithm
- graph theory
- propositional satisfiability
- graph structure
- satisfiability problem
- data mining
- graph kernels
- graph representation
- sat solvers
- learning tasks
- machine learning algorithms
- model selection
- feature selection
- sat problem
- support vector machine
- active learning
- semi supervised learning
- data representation
- simulated annealing
- supervised learning
- information extraction
- data structure