Login / Signup

A Fine-Grained Analogue of Schaefer's Theorem in P: Dichotomy of Exists^k-Forall-Quantified First-Order Graph Properties.

Karl BringmannNick FischerMarvin Künnemann
Published in: Computational Complexity Conference (2019)
Keyphrases