Smallest MUS extraction with minimal hitting set dualization

Alexey Ignatiev; Alessandro Previti; Mark Liffiton; Joao Marques-Silva

doi:10.1007/978-3-319-23219-5_13

Smallest MUS extraction with minimal hitting set dualization

Alexey Ignatiev, Alessandro Previti, 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	Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Proceedings
Editors	Gilles Pesant
Publisher	Springer Verlag
Pages	173-182
Number of pages	10
ISBN (Print)	9783319232188
DOIs	https://doi.org/10.1007/978-3-319-23219-5_13
State	Published - 2015
Event	21st International Conference on the Principles and Practice of Constraint Programming, CP 2015 - Cork, Ireland Duration: Aug 31 2015 → Sep 4 2015

Publication series

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

Conference

Conference	21st International Conference on the Principles and Practice of Constraint Programming, CP 2015
Country/Territory	Ireland
City	Cork
Period	8/31/15 → 9/4/15

ASJC Scopus Subject Areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-319-23219-5_13

Cite this

Ignatiev, A., Previti, A., Liffiton, M., & Marques-Silva, J. (2015). Smallest MUS extraction with minimal hitting set dualization. In G. Pesant (Ed.), Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Proceedings (pp. 173-182). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9255). Springer Verlag. https://doi.org/10.1007/978-3-319-23219-5_13

Smallest MUS extraction with minimal hitting set dualization. / Ignatiev, Alexey; Previti, Alessandro; Liffiton, Mark et al.
Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Proceedings. ed. / Gilles Pesant. Springer Verlag, 2015. p. 173-182 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9255).

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

Ignatiev, A, Previti, A, Liffiton, M & Marques-Silva, J 2015, Smallest MUS extraction with minimal hitting set dualization. in G Pesant (ed.), Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9255, Springer Verlag, pp. 173-182, 21st International Conference on the Principles and Practice of Constraint Programming, CP 2015, Cork, Ireland, 8/31/15. https://doi.org/10.1007/978-3-319-23219-5_13

Ignatiev A, Previti A, Liffiton M, Marques-Silva J. Smallest MUS extraction with minimal hitting set dualization. In Pesant G, editor, Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Proceedings. Springer Verlag. 2015. p. 173-182. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-23219-5_13

Ignatiev, Alexey ; Previti, Alessandro ; Liffiton, Mark et al. / Smallest MUS extraction with minimal hitting set dualization. Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Proceedings. editor / Gilles Pesant. Springer Verlag, 2015. pp. 173-182 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{c13f473adb8b4f40bccfe473058f22b1,

title = "Smallest MUS extraction with minimal hitting set dualization",

author = "Alexey Ignatiev and Alessandro Previti and Mark Liffiton and Joao Marques-Silva",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 21st International Conference on the Principles and Practice of Constraint Programming, CP 2015 ; Conference date: 31-08-2015 Through 04-09-2015",

year = "2015",

doi = "10.1007/978-3-319-23219-5_13",

language = "English",

isbn = "9783319232188",

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

publisher = "Springer Verlag",

pages = "173--182",

editor = "Gilles Pesant",

booktitle = "Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Proceedings",

}

TY - GEN

T1 - Smallest MUS extraction with minimal hitting set dualization

AU - Ignatiev, Alexey

AU - Previti, Alessandro

AU - Liffiton, Mark

AU - Marques-Silva, Joao

PY - 2015

Y1 - 2015

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

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

U2 - 10.1007/978-3-319-23219-5_13

DO - 10.1007/978-3-319-23219-5_13

M3 - Conference contribution

AN - SCOPUS:84944622948

SN - 9783319232188

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

SP - 173

EP - 182

BT - Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Proceedings

A2 - Pesant, Gilles

PB - Springer Verlag

T2 - 21st International Conference on the Principles and Practice of Constraint Programming, CP 2015

Y2 - 31 August 2015 through 4 September 2015

ER -

Smallest MUS extraction with minimal hitting set dualization

Publication series

Conference

ASJC Scopus Subject Areas

Access to Document

Other files and links

Cite this