Satisfiability Certificates Verifiable in Subexponential Time.
Evgeny DantsinEdward A. HirschPublished 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