NeuroCore: Guiding High-Performance SAT Solvers with Unsat-Core Predictions.

Daniel Selsam Nikolaj Bjørner

Published in: CoRR (2019)

Keyphrases

sat solvers
orders of magnitude
propositional satisfiability
search space
constraint satisfaction
sat solving
search strategies
boolean satisfiability
sat instances
max sat
search tree
sat problem
clause learning sat solvers
boolean formula
sat encodings
linear programming