A New Approach to Partial MUS Enumeration

DSpace Repository

A New Approach to Partial MUS Enumeration

Author: Zielke, C.; Kaufmann, M.
Tübinger Autor(en):
Zielke, Christian
Kaufmann, Michael
Issue year: 2015
Series: Lecture notes in computer science;9340
Verlagsangabe: Springer International
Language: English
Full text: http://dx.doi.org/10.1007/978-3-319-24318-4_28
ISBN: 978-3-319-24317-7
978-3-319-24318-4
DDC Classifikation: 004 - Data processing and computer science
Dokumentart: Buch (einzelnes Kapitel)
Konferenzveröffentlichung
Published in: Theory and Applications of Satisfiability Testing -- SAT 2015 :18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
Page range: 387-404
Show full item record

This item appears in the following Collection(s)