SATLIB Benchmark Suite

swMATH11916MaRDI QIDQ23852FDOQ23852

Author name not available (Why is that?)

Cited In (3)

• BerkMin: A fast and robust SAT-solver
• Resolution proof transformation for compression and interpolation
• Intelligent Tableau Algorithm for DL Reasoning

This page was built for software: SATLIB Benchmark Suite