Complexity Classifications for Different Equivalence and Audit Problems for Boolean Circuits
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Logical Methods in Computer Science Vol. 8(3:27)2012, pp. 1–25. DOI:10.2168/LMCS-8(3:27)2012
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Würzburg
- (who)
-
Universität Würzburg
- (when)
-
2016
- Creator
-
Böhler, Elmar
Creignou, Nadia
Galota, Matthias
Reith, Steffen
Schnoor, Henning
Vollmer, Heribert
- URN
-
urn:nbn:de:bvb:20-opus-131121
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:55 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Böhler, Elmar
- Creignou, Nadia
- Galota, Matthias
- Reith, Steffen
- Schnoor, Henning
- Vollmer, Heribert
- Universität Würzburg
Time of origin
- 2016
Other Objects (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