Strong (D)QBF Dependency Schemes via Implication-free Resolution Paths

Olaf Beyersdorff, Joshua Blinkhorn, Tomas Peitl
January 2021
PDF bib

Abstract

Full Citation:

Olaf Beyersdorff, Joshua Blinkhorn, Tom'a\vs Peitl. Strong (D)QBF Dependency Schemes via Implication-free Resolution Paths. Electron. Colloquium Comput. Complex., pages 135, 2021.

Type
Journal Article
Tomas Peitl
Tomas Peitl

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