MaxPre

swMATH21952MaRDI QIDQ33751FDOQ33751

Author name not available (Why is that?)

Cited In (2)

• Clause redundancy and preprocessing in maximum satisfiability
• Hash-based preprocessing and inprocessing techniques in SAT solvers

This page was built for software: MaxPre