Simplifying CDCL Clause Database Reduction.

Sima Jamali David Mitchell

Published in: SAT (2019)

Keyphrases

database
sat solvers
clause learning
data structure
relational databases
domain independent
scheduling problem
relevance feedback
unit propagation