Publications

Smallest Mus Extraction with Minimal Hitting Set Dualization

AuthID
P-00G-SNB

Author(s)

Ignatiev, A

Previti, A

Liffiton, M

Marques Silva, J

Editor(s)

Pesant,G

Document Type

Proceedings Paper

Year published

2015

Published

in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015 in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 9255, Pages: 173-182 (10)

Conference

21St International Conference on the Principles and Practice of Constraint Programming (Cp), Date: AUG 31-SEP 04, 2015, Location: Cork, IRELAND, Sponsors: Associat Log Programming, European Coordinating Comm Artificial Intelligence, Insight Ctr Data Analyt, Sci Fdn Ireland, Springer, Univ Coll Cork

Indexing