MSUnCore

swMATH9733MaRDI QIDQ21712FDOQ21712

Author name not available (Why is that?)

Cited In (3)

• Iterative and core-guided maxsat solving: a survey and assessment
• Probabilistic satisfiability: algorithms with the presence and absence of a phase transition
• Improvements to Core-Guided Binary Search for MaxSAT

This page was built for software: MSUnCore