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

Daniel Selsam Nikolaj Bjørner

Published in: SAT (2019)

Keyphrases

sat solvers
orders of magnitude
propositional satisfiability
constraint satisfaction
search strategies
sat problem
sat solving
sat instances
search tree
boolean satisfiability
search space
clause learning sat solvers
max sat
clause learning
search algorithm
answer sets
weighted max sat
learning algorithm