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