Login / Signup

Succinct Monotone Circuit Certification: Planarity and Parameterized Complexity.

Mateus Rodrigues AlvesMateus de Oliveira OliveiraJanio Carlos Nascimento SilvaUéverton dos Santos Souza
Published in: COCOON (2020)
Keyphrases
  • parameterized complexity
  • fixed parameter tractable
  • global constraints
  • upper bound
  • symmetry breaking