Number of Variables for Graph Identification and the Resolution of GI Formulas

Jacobo Torán, Florian Wörz. Number of Variables for Graph Identification and the Resolution of GI Formulas. Electronic Colloquium on Computational Complexity (ECCC), 28:97, 2021. [doi]

Abstract

Abstract is missing.