MSUnCore

MSUnCore - Maximum Satisfiability with UNsatisfiable COREs. MSUnCore is a software system for solving (Weighted) (Partial) Maximum Satisfiability (MaxSAT), and implements a number of different algorithms. Most of the MaxSAT algorithms implemented in MSUnCore are based on iterative identification of unsatisfiable cores.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 3 articles )

Showing results 1 to 3 of 3.
Sorted by year (citations)

  1. Finger, Marcelo; De Bona, Glauber: Probabilistic satisfiability: algorithms with the presence and absence of a phase transition (2015)
  2. Morgado, Antonio; Heras, Federico; Liffiton, Mark; Planes, Jordi; Marques-Silva, Joao: Iterative and core-guided maxsat solving: a survey and assessment (2013)
  3. Morgado, Antonio; Heras, Federico; Marques-Silva, Joao: Improvements to core-guided binary search for MaxSAT (2012)