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