Neural heuristics for SAT solving.

Sebastian Jaszczur Michal Luszczyk Henryk Michalewski

Published in: CoRR (2020)

Keyphrases

sat solving
sat solvers
sat encodings
boolean satisfiability
search algorithm
search strategies
boolean optimization
sat problem
heuristic methods
propositional satisfiability
search tree
heuristic search
clause learning
solving problems
learning algorithm
branch and bound algorithm
objective function