Login / Signup
Lazily-Verifiable SAT Proof Checker in SPARK 2014.
André Dietrich
Christopher Schmidt
Nico Enghardt
Tobias Philipp
Published in:
Datenschutz und Datensicherheit (2023)
Keyphrases
</>
sat solvers
satisfiability problem
theorem prover
search algorithm
sat problem
sufficient conditions
phase transition
max sat
propositional satisfiability
secret sharing
search strategies
stochastic local search algorithms
theorem proving
sat instances
boolean satisfiability
mathematical proofs