- Treffer 1 von 1
Complexity Classifications for Different Equivalence and Audit Problems for Boolean Circuits
Zitieren Sie bitte immer diese URN: urn:nbn:de:bvb:20-opus-131121
- We study Boolean circuits as a representation of Boolean functions and conskier different equivalence, audit, and enumeration problems. For a number of restricted sets of gate types (bases) we obtain efficient algorithms, while for all other gate types we show these problems are at least NP-hard.
Autor(en): | Elmar Böhler, Nadia Creignou, Matthias Galota, Steffen Reith, Henning Schnoor, Heribert Vollmer |
---|---|
URN: | urn:nbn:de:bvb:20-opus-131121 |
Dokumentart: | Artikel / Aufsatz in einer Zeitschrift |
Institute der Universität: | Fakultät für Mathematik und Informatik / Institut für Informatik |
Sprache der Veröffentlichung: | Englisch |
Titel des übergeordneten Werkes / der Zeitschrift (Englisch): | Logical Methods in Computer Science |
Erscheinungsjahr: | 2012 |
Band / Jahrgang: | 8 |
Heft / Ausgabe: | 3:27 |
Erste Seite: | 1 |
Letzte Seite: | 25 |
Originalveröffentlichung / Quelle: | Logical Methods in Computer Science Vol. 8(3:27)2012, pp. 1–25. DOI:10.2168/LMCS-8(3:27)2012 |
DOI: | https://doi.org/10.2168/LMCS-8(3:27)2012 |
Allgemeine fachliche Zuordnung (DDC-Klassifikation): | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
Freie Schlagwort(e): | hierarchy; satisfiability problems |
Datum der Freischaltung: | 12.12.2016 |
Lizenz (Deutsch): | CC BY-ND: Creative-Commons-Lizenz: Namensnennung, Keine Bearbeitung |