Skeptik
From MaRDI portal
Software:23853
swMATH11917MaRDI QIDQ23853FDOQ23853
Author name not available (Why is that?)
Cited In (5)
- Resolution proof transformation for compression and interpolation
- Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses
- Parallelizing SMT solving: lazy decomposition and conciliation
- Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic
- NP-completeness of small conflict set generation for congruence closure
This page was built for software: Skeptik
