MSUnCore 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 all top 5 Cited by 7 Authors 2 Heras, Federico 2 Marques-Silva, João P. 2 Morgado, António 1 De Bona, Glauber 1 Finger, Marcelo 1 Liffiton, Mark H. 1 Planes, Jordi Cited in 2 Serials 1 Annals of Mathematics and Artificial Intelligence 1 Constraints Cited in 2 Fields 2 Computer science (68-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year