Login / Signup
Stretching Groth-Sahai: NIZK Proofs of Partial Satisfiability.
Carla Ràfols
Published in:
TCC (2) (2015)
Keyphrases
</>
decision procedures
theorem proving
satisfiability problem
computational complexity
propositional logic
np complete
theorem prover
orders of magnitude
phase transition
data sets
genetic algorithm
inference rules
sat problem
reasoning problems
quantified boolean formulas