Fixed-Parameter Tractability of Dependency QBF with Structural Parameters.
Robert Ganian, Toms Peitl, Friedrich Slivovsky, Stefan Szeider
Browse the full KR paper archive.
Robert Ganian, Toms Peitl, Friedrich Slivovsky, Stefan Szeider
Browse the full KR paper archive.