Mechanical Verification of SAT Refutations with Extended Resolution.

Nathan Wetzler Marijn Heule Warren A. Hunt Jr.

Published in: ITP (2013)

Keyphrases

model checking
satisfiability problem
data sets
high resolution
clause learning
neural network
knowledge base
np complete
sat problem
signature verification
unit propagation