Skeptik

swMATH11917MaRDI QIDQ23853FDOQ23853

Author name not available (Why is that?)

Official website: http://paradoxika.github.io/Skeptik/

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