SATLIB Benchmark Suite

swMATH11916MaRDI QIDQ23852FDOQ23852

Author name not available (Why is that?)

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

Cited In (5)

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

This page was built for software: SATLIB Benchmark Suite