Literate MaxSAT solver provides evaluation baseline for evolving algorithms in optimization.
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
No takes yet. Share an insight, caveat, or question.
Mikoláš Janota (2015) studied this question.
Synapse has enriched 4 closely related papers on similar clinical questions. Consider them for comparative context: