Login / Signup
NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks.
Wenxi Wang
Yang Hu
Mohit Tiwari
Sarfraz Khurshid
Kenneth L. McMillan
Risto Miikkulainen
Published in:
ICLR (2024)
Keyphrases
</>
sat solving
sat solvers
sat encodings
boolean satisfiability
orders of magnitude
clause learning
sat problem
search strategies
search tree
constraint satisfaction
max sat
sat instances
propositional satisfiability
search space
genetic algorithm
constraint satisfaction problems
graph coloring
learning algorithm