Open AccessMSCG: Robust Core-Guided MaxSAT Solving
Author(s) -
António Morgado,
Alexey Ignatiev,
João MarquesSilva
Publication year - 2015
Publication title -
journal on satisfiability boolean modeling and computation
Language(s) - English
Resource type - Journals
eISSN - 1875-5011
pISSN - 1574-0617
DOI - 10.3233/sat190105
Subject(s) - core (optical fiber) , maximum satisfiability problem , computer science , algorithm , telecommunications , boolean function
Maximum Satisfiability (MaxSAT) is a well-known optimization version of Propositional Satisfiability (SAT) that finds a wide range of relevant practical applications. This work describes and evaluates the Maximum Satisfiability using the Core-Guided approach solver (MSCG), which is a robust MaxSAT solver that participated in the MaxSAT Evaluation 2014. An experimental comparison with state-of-the-art MaxSAT solvers is presented.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom