Skeptik
From MaRDI portal
Cited in
(7)- Resolution proof transformation for compression and interpolation
- Parallelizing SMT solving: lazy decomposition and conciliation
- Implementation and evaluation of contextual natural deduction for minimal logic
- CMU Benchmarks
- SATLIB Benchmark Suite
- NP-completeness of small conflict set generation for congruence closure
- Towards the compression of first-order resolution proofs by lowering unit clauses
This page was built for software: Skeptik
