We give a first account of our new parallel SAT solver Gimsatul. Its key...
The first iteration of the proof format used by the SMT solver veriT was...
This volume of EPTCS contains the proceedings of the Seventh Workshop on...
Automated theorem provers are now commonly used within interactive theor...