FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Understandable Proofs of Unsatisfiability

Author: Marijn Heule

Paper Information

Title:Understandable Proofs of Unsatisfiability
Authors:Marijn Heule
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:proof of unsatisfiability, satisfiability, proof checking
Pages:1
Talk:Aug 01 16:00 (Session 37Q)
Paper: