Using Decomposition-Parameters for QBF: Mind the Prefix!

Robert Ganian

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