MaxSAT-based MCS enumeration

Antonio Morgado; Mark Liffiton; Joao Marques-Silva

doi:10.1007/978-3-642-39611-3_13

MaxSAT-based MCS enumeration

Antonio Morgado, Mark Liffiton, Joao Marques-Silva

Illinois Wesleyan University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Hardware and Software
Subtitle of host publication	Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Revised Selected Papers
Publisher	Springer Verlag
Pages	86-101
Number of pages	16
ISBN (Print)	9783642396106
DOIs	https://doi.org/10.1007/978-3-642-39611-3_13
State	Published - 2013
Event	8th International on Hardware and Software: Verification and Testing, HVC 2012 - Haifa, Israel Duration: Nov 6 2012 → Nov 8 2012

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7857 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	8th International on Hardware and Software: Verification and Testing, HVC 2012
Country/Territory	Israel
City	Haifa
Period	11/6/12 → 11/8/12

ASJC Scopus Subject Areas

Theoretical Computer Science
General Computer Science

Keywords

AllMaxSAT
AllMaxSMT
MCS

Access to Document

10.1007/978-3-642-39611-3_13

Cite this

Morgado, A., Liffiton, M., & Marques-Silva, J. (2013). MaxSAT-based MCS enumeration. In Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Revised Selected Papers (pp. 86-101). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7857 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-642-39611-3_13

MaxSAT-based MCS enumeration. / Morgado, Antonio; Liffiton, Mark; Marques-Silva, Joao.
Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Revised Selected Papers. Springer Verlag, 2013. p. 86-101 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7857 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Morgado, A, Liffiton, M & Marques-Silva, J 2013, MaxSAT-based MCS enumeration. in Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7857 LNCS, Springer Verlag, pp. 86-101, 8th International on Hardware and Software: Verification and Testing, HVC 2012, Haifa, Israel, 11/6/12. https://doi.org/10.1007/978-3-642-39611-3_13

Morgado A, Liffiton M, Marques-Silva J. MaxSAT-based MCS enumeration. In Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Revised Selected Papers. Springer Verlag. 2013. p. 86-101. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-39611-3_13

Morgado, Antonio ; Liffiton, Mark ; Marques-Silva, Joao. / MaxSAT-based MCS enumeration. Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Revised Selected Papers. Springer Verlag, 2013. pp. 86-101 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{ec46a35bf4a24098b1eb64faf5061c95,

title = "MaxSAT-based MCS enumeration",

keywords = "AllMaxSAT, AllMaxSMT, MCS",

author = "Antonio Morgado and Mark Liffiton and Joao Marques-Silva",

year = "2013",

doi = "10.1007/978-3-642-39611-3_13",

language = "English",

isbn = "9783642396106",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "86--101",

booktitle = "Hardware and Software",

note = "8th International on Hardware and Software: Verification and Testing, HVC 2012 ; Conference date: 06-11-2012 Through 08-11-2012",

}

TY - GEN

T1 - MaxSAT-based MCS enumeration

AU - Morgado, Antonio

AU - Liffiton, Mark

AU - Marques-Silva, Joao

PY - 2013

Y1 - 2013

KW - AllMaxSAT

KW - AllMaxSMT

KW - MCS

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

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

U2 - 10.1007/978-3-642-39611-3_13

DO - 10.1007/978-3-642-39611-3_13

M3 - Conference contribution

AN - SCOPUS:84880704509

SN - 9783642396106

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 86

EP - 101

BT - Hardware and Software

PB - Springer Verlag

T2 - 8th International on Hardware and Software: Verification and Testing, HVC 2012

Y2 - 6 November 2012 through 8 November 2012

ER -

MaxSAT-based MCS enumeration

Publication series

Conference

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Cite this