Davis and Putnam Meet Henkin: Solving DQBF with Resolution

Joshua Blinkhorn, Tomas Peitl, Friedrich Slivovsky
January 2021
PDF bib

Abstract

Full Citation:

Joshua Blinkhorn, Tom'a\vs Peitl, Friedrich Slivovsky. Davis and Putnam Meet Henkin: Solving DQBF with Resolution. 2021, Technical report AC-TR-21-012, Algorithms and Complexity Group, TU Wien.

Type
Technical Report
Tomas Peitl
Tomas Peitl

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