MSUnCore

swMATH9733MaRDI QIDQ21712FDOQ21712

Author name not available (Why is that?)

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

Cited In (7)

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

This page was built for software: MSUnCore