MiFuMax

swMATH25460MaRDI QIDQ37198FDOQ37198

Author name not available (Why is that?)

Cited In (3)

• Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances
• MiFuMax—a Literate MaxSAT Solver
• PySAT: a Python toolkit for prototyping with SAT oracles

This page was built for software: MiFuMax