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 and Michael P. Wellman), 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.