A New Approach to Partial MUS Enumeration

dc.contributor.author	Zielke, Christian
dc.contributor.author	Kaufmann, Michael
dc.date.accessioned	2016-05-31T15:32:20Z
dc.date.available	2016-05-31T15:32:20Z
dc.date.issued	2015
dc.identifier.isbn	978-3-319-24317-7
dc.identifier.isbn	978-3-319-24318-4
dc.identifier.uri	http://hdl.handle.net/10900/70151
dc.language.iso	en	de_DE
dc.publisher	Springer International	de_DE
dc.relation.ispartofseries	Lecture notes in computer science;9340
dc.relation.uri	http://dx.doi.org/10.1007/978-3-319-24318-4_28	de_DE
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject.ddc	004	de_DE
dc.title	A New Approach to Partial MUS Enumeration	de_DE
dc.type	BookPart	de_DE
dc.type	ConferenceObject	de_DE
utue.publikation.seiten	387-404	de_DE
utue.personen.roh	Zielke, C.
utue.personen.roh	Kaufmann, M.
utue.publikation.buchdesbeitrags	Theory and Applications of Satisfiability Testing -- SAT 2015 :18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings	de_DE