Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers.

Chunxiao Li Noah Fleming Marc Vinyals Toniann Pitassi Vijay Ganesh

Published in: SAT (2020)

Keyphrases

sat solvers
clause learning
complexity theoretic
max sat
orders of magnitude
search space
constraint satisfaction
search strategies
consistent query answering
sat instances
propositional satisfiability
sat problem
knowledge base
first order logic
prime implicates