Davis and Putnam Meet Henkin: Solving DQBF with Resolution

Joshua Blinkhorn, Tomas Peitl, Friedrich Slivovsky
January 2021
PDF Cite
Type
Technical Report
Tomas Peitl
Tomas Peitl

Tomáš Peitl is a Project Assistant at the Algorithms and Complexity Group.