Complexity Classifications for Different Equivalence and Audit Problems for Boolean Circuits
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Logical Methods in Computer Science Vol. 8(3:27)2012, pp. 1–25. DOI:10.2168/LMCS-8(3:27)2012
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Würzburg
- (wer)
-
Universität Würzburg
- (wann)
-
2016
- Urheber
-
Böhler, Elmar
Creignou, Nadia
Galota, Matthias
Reith, Steffen
Schnoor, Henning
Vollmer, Heribert
- URN
-
urn:nbn:de:bvb:20-opus-131121
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:55 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Böhler, Elmar
- Creignou, Nadia
- Galota, Matthias
- Reith, Steffen
- Schnoor, Henning
- Vollmer, Heribert
- Universität Würzburg
Entstanden
- 2016
Ähnliche Objekte (12)
Complexity classifications for different equivalence and audit problems for boolean circuits
Boolean techniques in testing of digital circuits
Derandomizing RP if Boolean circuits are not learnable
Boolean reasoning for digital circuits in presence of unknown values : application to test automation
Country classifications for a changing world
Measures of association for cross classifications
Country classifications for a changing world
Country classifications for a changing world
Clausal proofs for pseudo-boolean reasoning
Complexity classifications for nonmonotonic reasoning and enumeration
Morita equivalence for unary varieties
Morita equivalence for unary varieties
Complexity classifications for different equivalence and audit problems for boolean circuits
Boolean techniques in testing of digital circuits
Derandomizing RP if Boolean circuits are not learnable
Boolean reasoning for digital circuits in presence of unknown values : application to test automation
Country classifications for a changing world
Measures of association for cross classifications
Country classifications for a changing world
Country classifications for a changing world
Clausal proofs for pseudo-boolean reasoning
Complexity classifications for nonmonotonic reasoning and enumeration
Morita equivalence for unary varieties
Morita equivalence for unary varieties
Complexity classifications for different equivalence and audit problems for boolean circuits
Boolean techniques in testing of digital circuits
Derandomizing RP if Boolean circuits are not learnable
Boolean reasoning for digital circuits in presence of unknown values : application to test automation
Country classifications for a changing world
Measures of association for cross classifications
Country classifications for a changing world
Country classifications for a changing world
Clausal proofs for pseudo-boolean reasoning
Complexity classifications for nonmonotonic reasoning and enumeration
Morita equivalence for unary varieties