Goal-Aware Neural SAT Solver.

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

Published in: IJCNN (2022)

Keyphrases

sat solvers
sat solving
sat problem
propositional satisfiability
boolean satisfiability
orders of magnitude
sat instances
constraint satisfaction
search strategies
constraint solver
search space
information retrieval systems
logic programming
lower bound
search tree
sat encodings
genetic algorithm