SATLIB Benchmark Suite

MaRDI QIDQ23852swMATHFDO

Official website http://www.cs.ubc.ca/~hoos/SATLIB/benchm.html

Cited in

(5)

• Intelligent tableau algorithm for DL reasoning
• BerkMin: A fast and robust SAT-solver
• Resolution proof transformation for compression and interpolation
• CMU Benchmarks
• LIGHT

This page was built for software: SATLIB Benchmark Suite