TY  - THES
A1  - Böhler, Elmar
T1  - Algebraic closures in complexity theory
T1  - Algebraische Hüllen in der Komplexitätstheorie
N2  - We use algebraic closures and structures which are derived from these in complexity theory. We classify problems with Boolean circuits and Boolean constraints according to their complexity. We transfer algebraic structures to structural complexity. We use the generation problem to classify important complexity classes.
N2  - Algebraische Hüllen und Strukturen, die mit solchen zusammenhängen, werden für die Komplexitätstheorie genutzt. Es werden Probleme im Zusammenhang mit Booleschen Schaltkreisen und Constraint-Satisfaction Problemen komplexitätstheoretisch klassifiziert. Strukturen aus der Algebra werden auf die Strukturelle Komplexität übertragen. Das Generierungsproblem, wird zur Klassifikation wichtiger Komplexitätsklassen benutzt.
KW  - Komplexitätstheorie
KW  - Komplexitätstheorie
KW  - Clones
KW  - Generierungsproblem
KW  - Postsche Klassen
KW  - Complexity Theory
KW  - Clones
KW  - Generation Problem
KW  - Post's Classes
Y1  - 2005
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-16106
ER  - 
TY  - JOUR
A1  - Böhler, Elmar
A1  - Creignou, Nadia
A1  - Galota, Matthias
A1  - Reith, Steffen
A1  - Schnoor, Henning
A1  - Vollmer, Heribert
T1  - Complexity Classifications for Different Equivalence and Audit Problems for Boolean Circuits
JF  - Logical Methods in Computer Science
N2  - 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.
KW  - hierarchy
KW  - satisfiability problems
Y1  - 2012
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-131121
VL  - 8
IS  - 3:27
SP  - 1
EP  - 25
ER  -