Skeptik
From MaRDI portal
Software:23853
No author found.
Related Items (5)
Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses ⋮ Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic ⋮ NP-completeness of small conflict set generation for congruence closure ⋮ Resolution proof transformation for compression and interpolation ⋮ Parallelizing SMT solving: lazy decomposition and conciliation
This page was built for software: Skeptik
