Skeptik [System Description]
Authors: Bruno Woltzenlogel Paleo, Joseph Boudou and Andreas Fellner
Paper Information
| Title: | Skeptik [System Description] |
| Authors: | Bruno Woltzenlogel Paleo, Joseph Boudou and Andreas Fellner |
| Proceedings: | IJCAR 2014 LNCS proceedings |
| Editors: | Stéphane Demri, Deepak Kapur and Christoph Weidenbach |
| Keywords: | Proof Compression, Propositional Resolution, Satisfiability, Satisfiability Modulo Theories, Scala |
| Abstract: | ABSTRACT. This paper introduces Skeptik: a system for checking, compressing and improving proofs obtained by sat- and smt-solvers. |
| Pages: | 7 |
| Talk: | Jul 21 15:40 |
| Paper: |  |