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 |