Smallest Mus Extraction with Minimal Hitting Set Dualization

AuthID
P-00G-SNB
1
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
Publication Identifiers
DBLP: conf/cp/IgnatievPLM15
SCOPUS: 2-s2.0-84944622948
Unpaywall: 10.1007/978-3-319-23219-5_13
Wos: WOS:000364707100013
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.