Calculating Valid Domains for BDD-Based Interactive Configuration

In these notes we formally describe the functionality of Calculating Valid Domains from the BDD representing the solution space of valid configurations. The formalization is largely based on the CLab configuration framework

The Efficiency of Coercion

Oppgaven tester hvorvidt det eksisterer effektive og ineffektive intervaller av tvangsbruk innad autoritære regimer. Ved bruk av offentlig tilgjengelig data som blir brukt som mål på tvangsbruk, tester vi for om fordelingen av tvangsbruk er multimodal (flertoppet), og forsøker å identifisere effektive og ineffektive intervaller dera