Using Decomposition-Parameters for QBF: Mind the Prefix!

Eduard Eiben, Robert Ganian, Sebastian Ordyniak

Browse the full AAAI paper archive.