Using decomposition-parameters for QBF: Mind the prefix!

Eduard Eiben, Robert Ganian, Sebastian Ordyniak
January 2020
PDF bib Project

Abstract

Full Citation:

Eduard Eiben, Robert Ganian, Sebastian Ordyniak. Using decomposition-parameters for QBF: Mind the prefix!. J. Comput. Syst. Sci., volume 110, pages 1-21, 2020.

Type
Journal Article
Nfpc
Robert Ganian
Robert Ganian

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