Succinct monotone circuit certification: planarity and parameterized complexity
scientific article; zbMATH DE number 7336129
scientific article