This paper introduces Skeptik: a system for checking, compressing and improving proofs obtained by SAT-and SMT-solvers. © 2014 Springer International Publishing Switzerland.
CITATION STYLE
Boudou, J., Fellner, A., & Woltzenlogel Paleo, B. (2014). Skeptik: A proof compression system. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8562 LNAI, pp. 374–380). Springer Verlag. https://doi.org/10.1007/978-3-319-08587-6_29
Mendeley helps you to discover research relevant for your work.