Using decomposition-parameters for QBF: Mind the prefix!

Robert Ganian

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