Davis and Putnam Meet Henkin: Solving DQBF with Resolution

Blinkhorn, Joshua; Peitl, Tomáš; Slivovsky, Friedrich

by Joshua Blinkhorn, Tomáš Peitl, Friedrich Slivovsky

Reference:

Davis and Putnam Meet Henkin: Solving DQBF with ResolutionJoshua Blinkhorn, Tomáš Peitl, Friedrich Slivovsky2021, Technical report AC-TR-21-012, Algorithms and Complexity Group, TU Wien.

Bibtex Entry:

@string{ac="Algorithms and Complexity Group, TU Wien"}
@TechReport{BlinkhornPeitlSlivovsky21tr,
  author    = {Joshua Blinkhorn and Tom{\'{a}}{\v{s}} Peitl and Friedrich Slivovsky},
  title     = {Davis and Putnam Meet Henkin: Solving DQBF with Resolution},
  institution  = AC,
  year         = {2021},
  number       = {AC-TR-21-012},
  url          = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-21-012.pdf},
}