A tour of SAT proof logging

Session date: 21 August 2023

Session host: Konstantin Sidorov

Summary:

A follow-up of the SMT proof logging session; in this session, I motivate the proof logging on an example from Schur Number Five and introduced the basic ideas behind the clausal proofs.