Succinct Diophantine-Satisfiability Arguments.

Patrick Towa Damien Vergnaud

Published in: ASIACRYPT (3) (2020)

Keyphrases

satisfiability problem
np complete
propositional logic
sat problem
phase transition
computational complexity
terminological reasoning
neural network
temporal logic
argumentation systems
social networks
website
argumentation frameworks
decision procedures
practical reasoning
quantified boolean formulas