Skeptik: A Proof Compression System. This paper introduces Skeptik: a system for checking, compressing and improving proofs obtained by SAT- and SMT-solvers.
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Gorzny, Jan; Woltzenlogel Paleo, Bruno: Towards the compression of first-order resolution proofs by lowering unit clauses (2015)
- Rollini, Simone Fulvio; Bruttomesso, Roberto; Sharygina, Natasha; Tsitovich, Aliaksei: Resolution proof transformation for compression and interpolation (2014)