Iterative and core-guided MaxSAT solving: A survey and assessment

Antonio Morgado; Federico Heras; Mark Liffiton; Jordi Planes; Joao Marques-Silva

doi:10.1007/s10601-013-9146-2

Iterative and core-guided MaxSAT solving: A survey and assessment

Antonio Morgado, Federico Heras, Mark Liffiton, Jordi Planes, Joao Marques-Silva

Illinois Wesleyan University

Research output: Journal Article › Review article › peer-review

Original language	English
Pages (from-to)	478-534
Number of pages	57
Journal	Constraints
Volume	18
Issue number	4
DOIs	https://doi.org/10.1007/s10601-013-9146-2
State	Published - Oct 2013

ASJC Scopus Subject Areas

Software
Discrete Mathematics and Combinatorics
Computational Theory and Mathematics
Artificial Intelligence

Keywords

Boolean optimization
MaxSAT
MaxSMT
Optimization problems

Access to Document

10.1007/s10601-013-9146-2

Cite this

@article{c0fea04d07e94a8b93bfae254a91bbed,

title = "Iterative and core-guided MaxSAT solving: A survey and assessment",

keywords = "Boolean optimization, MaxSAT, MaxSMT, Optimization problems",

author = "Antonio Morgado and Federico Heras and Mark Liffiton and Jordi Planes and Joao Marques-Silva",

year = "2013",

month = oct,

doi = "10.1007/s10601-013-9146-2",

language = "English",

volume = "18",

pages = "478--534",

journal = "Constraints",

issn = "1383-7133",

number = "4",

}

TY - JOUR

T1 - Iterative and core-guided MaxSAT solving

T2 - A survey and assessment

AU - Morgado, Antonio

AU - Heras, Federico

AU - Liffiton, Mark

AU - Planes, Jordi

AU - Marques-Silva, Joao

PY - 2013/10

Y1 - 2013/10

KW - Boolean optimization

KW - MaxSAT

KW - MaxSMT

KW - Optimization problems

UR - http://www.scopus.com/inward/record.url?scp=84882242017&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84882242017&partnerID=8YFLogxK

U2 - 10.1007/s10601-013-9146-2

DO - 10.1007/s10601-013-9146-2

M3 - Review article

AN - SCOPUS:84882242017

SN - 1383-7133

VL - 18

SP - 478

EP - 534

JO - Constraints

JF - Constraints

IS - 4

ER -

Iterative and core-guided MaxSAT solving: A survey and assessment

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Cite this