Karina Wimmer

According to our database, Karina Wimmer authored at least 4 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Analysis of Incomplete Circuits Using Dependency Quantified Boolean Formulas.

Ralf Wimmer, Karina Wimmer, Christoph Scholl, Bernd Becker

Proceedings of the Advanced Logic Synthesis, 2018

2016

Dependency Schemes for DQBF.

Ralf Wimmer, Christoph Scholl, Karina Wimmer, Bernd Becker

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Lösen von Booleschen Formeln mit Henkin-Quantoren.

Karina Wimmer

Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016

Skolem Functions for DQBF.

Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker

Proceedings of the Automated Technology for Verification and Analysis, 2016