Login / Signup
NeuroComb: Improving SAT Solving with Graph Neural Networks.
Wenxi Wang
Yang Hu
Mohit Tiwari
Sarfraz Khurshid
Kenneth L. McMillan
Risto Miikkulainen
Published in:
CoRR (2021)
Keyphrases
</>
sat solving
neural network
sat solvers
genetic algorithm
boolean satisfiability
search tree
sat problem
lower bound
search space
orders of magnitude
sat instances