research
∙
07/27/2022
Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses
We give a first account of our new parallel SAT solver Gimsatul. Its key...
share
research
∙
07/06/2021
Alethe: Towards a Generic SMT Proof Format (extended abstract)
The first iteration of the proof format used by the SMT solver veriT was...
research
∙
07/04/2021
Proceedings Seventh Workshop on Proof eXchange for Theorem Proving
This volume of EPTCS contains the proceedings of the Seventh Workshop on...
research
∙
08/26/2019