MiFuMax—a Literate MaxSAT Solver
Mikoláš Janota · Journal on Satisfiability Boolean Modeling and Computation · 2015
The main motivation behind the MaxSAT solver MiFuMax is twofold. It provides a baseline implementation of core-based algorithms for both weighted and unweighted MaxSAT. Such baseline implementation may serve for evaluation of evolving solvers. MiFuMa