Using Decomposition-Parameters for QBF: Mind the Prefix!

Eduard Eiben, Robert Ganian, Sebastian Ordyniak
January 2016
PDF bib

Abstract

Full Citation:

Eduard Eiben, Robert Ganian, Sebastian Ordyniak. Using Decomposition-Parameters for QBF: Mind the Prefix!. Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (Dale Schuurmans, Michael P. Wellman, eds.), pages 964–970, 2016, AAAI Press.

Type
Conference Paper
Xtract
Robert Ganian
Robert Ganian

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