MaxPre

swMATH21952MaRDI QIDQ33751FDOQ33751

Author name not available (Why is that?)

Official website: https://www.cs.helsinki.fi/group/coreo/maxpre/

Cited In (4)

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

This page was built for software: MaxPre