Formally verifying an incremental SAT solver proof certificate
Master Project
of Matei Cristea-Enache
Formally verifying an incremental SAT solver proof certificate
Student: Matei Cristea-Enache
Supervisor(s): Benedikt Ahrens