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
- 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
- Towards the compression of first-order resolution proofs by lowering unit clauses
This page was built for software: Skeptik
