Login / Signup
Succinct Diophantine-Satisfiability Arguments.
Patrick Towa
Damien Vergnaud
Published in:
IACR Cryptol. ePrint Arch. (2020)
Keyphrases
</>
satisfiability problem
np complete
propositional logic
computational complexity
phase transition
argumentation frameworks
neural network
satisfiability testing
databases
search algorithm
logic programming
sat problem
argumentation systems
sat solving
quantified boolean formulas
terminological reasoning