Propositional Proof Skeletons

von Reeves, Joseph E.
Veröffentlicht in TACAS (29. : 2023 : Paris) Tools and algorithms for the construction and analysis of systems ; Part 1 (2023)

Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers

von Michaelson, Dawn
Veröffentlicht in TACAS (29. : 2023 : Paris) Tools and algorithms for the construction and analysis of systems ; Part 1 (2023)