Sign in
Fixed-Parameter Tractability of Dependency QBF with Structural Parameters.
Robert Ganian
Tomás Peitl
Friedrich Slivovsky
Stefan Szeider
Published in:
KR (2020)
Keyphrases
</>
logic programs