MSCG: Robust core-guided MaxSAT solving

Antonio Morgado; Alexey  Ignatiev; Joao Marques-Silva

doi:10.3233/SAT190105

MSCG: Robust core-guided MaxSAT solving

Antonio Morgado, Alexey Ignatiev, Joao Marques-Silva

Research output: Contribution to journal › Article › Research › peer-review

Abstract

Maximum Satisfiability (MaxSAT) is a well-known optimization version of Propositional Satisfiability (SAT) that finds a wide range of 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.

Original language	English
Pages (from-to)	129-134
Number of pages	6
Journal	Journal on Satisfiability, Boolean Modeling and Computation
Volume	9
Issue number	1
DOIs	https://doi.org/10.3233/SAT190105
Publication status	Published - 1 Dec 2015
Externally published	Yes

Keywords

maximum satisability
core-guided
Boolean optimization

Access to Document

10.3233/SAT190105

292712462-oaFinal published version, 783 KB

Cite this

@article{c3e7bd7b45384278a7318be2d5a10b2a,

title = "MSCG: Robust core-guided MaxSAT solving",

abstract = "Maximum Satisfiability (MaxSAT) is a well-known optimization version of Propositional Satisfiability (SAT) that finds a wide range of 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.",

keywords = "maximum satis ability, core-guided, Boolean optimization",

author = "Antonio Morgado and Alexey Ignatiev and Joao Marques-Silva",

year = "2015",

month = dec,

day = "1",

doi = "10.3233/SAT190105",

language = "English",

volume = "9",

pages = "129--134",

journal = "Journal on Satisfiability, Boolean Modeling and Computation",

issn = "1574-0617",

publisher = "IOS Press",

number = "1",

}

TY - JOUR

T1 - MSCG

T2 - Robust core-guided MaxSAT solving

AU - Morgado, Antonio

AU - Ignatiev, Alexey

AU - Marques-Silva, Joao

PY - 2015/12/1

Y1 - 2015/12/1

N2 - Maximum Satisfiability (MaxSAT) is a well-known optimization version of Propositional Satisfiability (SAT) that finds a wide range of 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.

AB - Maximum Satisfiability (MaxSAT) is a well-known optimization version of Propositional Satisfiability (SAT) that finds a wide range of 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.

KW - maximum satisability

KW - core-guided

KW - Boolean optimization

U2 - 10.3233/SAT190105

DO - 10.3233/SAT190105

M3 - Article

SN - 1574-0617

VL - 9

SP - 129

EP - 134

JO - Journal on Satisfiability, Boolean Modeling and Computation

JF - Journal on Satisfiability, Boolean Modeling and Computation

IS - 1

ER -