Login / Signup
Stretching Groth-Sahai: NIZK Proofs of Partial Satisfiability.
Carla Ràfols
Published in:
IACR Cryptol. ePrint Arch. (2015)
Keyphrases
</>
decision procedures
satisfiability problem
theorem proving
computational complexity
theorem prover
sat problem
np complete
phase transition
propositional logic
artificial intelligence
expert systems
natural deduction
sat solving
satisfiability testing