Login / Signup
Improving SAT-solving with Machine Learning.
Haoze Wu
Published in:
SIGCSE (2017)
Keyphrases
</>
sat solving
machine learning
sat solvers
symmetry breaking
boolean satisfiability
genetic algorithm
learning algorithm
reinforcement learning
evolutionary algorithm
knowledge representation
domain specific
orders of magnitude
search tree
sat problem