Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF

Robert Ganian
January 2023
PDF Cite Project DOI
Type
Conference Paper
ParAI
Robert Ganian
Robert Ganian

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