Goal-Aware Neural SAT Solver.

Emils Ozolins Karlis Freivalds Andis Draguns Eliza Gaile Ronalds Zakovskis Sergejs Kozlovics

Published in: CoRR (2021)

Keyphrases

sat solvers
sat problem
sat solving
orders of magnitude
sat instances
boolean satisfiability
max sat
constraint satisfaction
propositional satisfiability
constraint solver
search algorithm
search space
special case
answer sets
clause learning