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