University of Limerick Institutional Repository

MUSer2: an efficient MUS extractor, system description

DSpace Repository

Show simple item record

dc.contributor.author Belov, Anton
dc.contributor.author Marques-Silva, Joao
dc.date.accessioned 2012-12-19T10:14:09Z
dc.date.available 2012-12-19T10:14:09Z
dc.date.issued 2012
dc.identifier.uri http://hdl.handle.net/10344/2755
dc.description peer-reviewed en_US
dc.description.abstract Algorithms for extraction of Minimally Unsatisfiable Subformulas (MUSes) of CNF formulas find a wide range of practical applications, including product configuration, knowledge-based validation, hardware and software design and verification. This paper describes the MUS extractor MUSer2. MUSer2 implements a wide range of MUS extraction algorithms, integrates a number of key optimization techniques, and represents the current state-of- the-art in MUS extraction. en_US
dc.language.iso eng en_US
dc.publisher IOS Press en_US
dc.relation.ispartofseries Journal on Satisfiability, Boolean Modeling and Computation;8, pp. 123-128
dc.relation.uri http://jsat.ewi.tudelft.nl/
dc.rights ©2012 Delft University of Technology and the authors. en_US
dc.subject minimal unsatisfiability en_US
dc.subject MUS extraction en_US
dc.subject SAT applications en_US
dc.title MUSer2: an efficient MUS extractor, system description en_US
dc.type info:eu-repo/semantics/article en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.contributor.sponsor SFI en_US
dc.contributor.sponsor FCT en_US
dc.relation.projectid BEACON 09/IN.1/I2618 en_US
dc.relation.projectid ATTEST CMU-PT/ELE/0009-2009 en_US
dc.relation.projectid POLARIS (PTDC/EIA-CC0/123051/2010 en_US
dc.rights.accessrights info:eu-repo/semantics/openAccess en_US


Files in this item

Icon
Name: Belov_2012_MUser.pdf
Size: 457.1Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

Show simple item record

Search ULIR


Browse

My Account

Statistics