Skolem Functions for DQBF. - Karina Wimmer; Ralf Wimmer 001; Christoph Scholl 001; Bernd Becker 001 (ATVA, 2016)

Lösen von Booleschen Formeln mit Henkin-Quantoren. - Karina Wimmer (MBMV, 2016)

Dependency Schemes for DQBF. - Ralf Wimmer 001; Christoph Scholl 001; Karina Wimmer; Bernd Becker 001 (SAT, 2016)

Analysis of Incomplete Circuits Using Dependency Quantified Boolean Formulas. - Ralf Wimmer 001; Karina Wimmer; Christoph Scholl 001; Bernd Becker 001 (Advanced Logic Synthesis, 2018)