An algorithmic construction of Nullstellensatz certificates for graph automorphism groups

Ivan Drecun

Solvers for graph isomorphism and related problems are widely used in both theoretical and applied domains, but their complexity often requires users to trust their correctness wit…