A New Approach to Partial MUS Enumeration

Autor(en):

Zielke, C.; Kaufmann, M.

Tübinger Autor(en):

Erscheinungsjahr:

2015

Reihe:

Lecture notes in computer science;9340

Verlagsangabe:

Springer International

Sprache:

Englisch

Referenz zum Volltext:

ISBN:

978-3-319-24317-7
978-3-319-24318-4

DDC-Klassifikation:

004 - Informatik

Dokumentart:

Teil eines Buches
Konferenzveröffentlichung

Erschienen in:

Theory and Applications of Satisfiability Testing -- SAT 2015 :18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

Seitenbereich:

387-404

Das Dokument erscheint in: