Small Resolution Proofs for QBF using Dependency Treewidth

Eduard Eiben, Robert Ganian
January 2018
PDF Cite
Type
Conference Paper
Xtract
Robert Ganian
Robert Ganian

Robert Ganian is a Professor at the Algorithms and Complexity Group.