swMATH ID: 9733
Software Authors: Morgado, A., Heras, F., Marques-Silva, J.
Description: 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.
Homepage: http://logos.ucd.ie/web/doku.php?id=msuncore
Related Software: MiniSat; z3; Chaff; MiniMaxSat; QMaxSAT; Pronto; MaxHS; OPIUM; ToulBar2; Sat4j; clasp; PicoSAT; RPOLY; PBS; UBCSAT; MaxSolver; Pueblo; OptSAT; Reveal
Cited in: 3 Publications

Citations by Year