Login / Signup

Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping.

Yijia ChenJörg Flum
Published in: CSL (2007)
Keyphrases
  • logic programs