Login / Signup
A Proof Checking View of Parameterized Complexity
Luke Mathieson
Published in:
CoRR (2012)
Keyphrases
</>
parameterized complexity
fixed parameter tractable
lower bound
theorem proving
databases
computational problems