TY  - JOUR
A1  - Hauser, Anna Si-Lu
A1  - Tiegna, Janneke
T1  - “Local self-regulation between democracy and hierarchy. Varieties of structure and values”. Digital Mercator Workshop of the DFG Research Unit 2757/Local Self-Governance in the context of Weak Statehood in Antiquity and the Modern Era (LoSAM) from 18–19th March 2021
JF  - Zeitschrift für Vergleichende Politikwissenschaft
N2  - No abstract available.
KW  - self-governance
KW  - self-organisation
KW  - democracy
KW  - hierarchy
Y1  - 2021
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-270096
SN  - 1865-2654
VL  - 15
IS  - 2
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  -