Rocket-fast proof checking for SMT solvers (2008)

by M Moskal
Venue:In: 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS’08. Lecture Notes in Computer Science