Satisfiability Certificates Verifiable in Subexponential Time.

Evgeny Dantsin Edward A. Hirsch

Published in: SAT (2011)

Keyphrases

satisfiability problem
access control
decision procedures
np complete
propositional logic

terminological reasoning
computational complexity
sufficient conditions
phase transition
satisfiability testing

public key
sat problem
case study
data sets
model checking

database systems
secret sharing
public key infrastructure
knowledge base