Login / Signup

On Girth and the Parameterized Complexity of Token Sliding and Token Jumping.

Valentin BartierNicolas BousquetClément DallardKyle LomerAmer E. Mouawad
Published in: ISAAC (2020)
Keyphrases
  • parameterized complexity
  • objective function
  • search algorithm
  • theorem proving