Autarkies for DQCNF - Oliver Kullmann (2019 Formal Methods in Computer Aided Design (FMCAD), 2019)
Autarkies for dependency-quantified boolean CNFs are introduced, with basic theory and algorithms.