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