MSUnCore

MaRDI QIDQ21712swMATHFDO

Official website http://logos.ucd.ie/web/doku.php?id=msuncore

Cited in

(8)

• Probabilistic satisfiability: algorithms with the presence and absence of a phase transition
• Improvements to core-guided binary search for MaxSAT
• OptSAT
• MaxSolver
• ToulBar2
• OPIUM
• Pronto
• Iterative and core-guided maxsat solving: a survey and assessment

This page was built for software: MSUnCore