Found 1 document(s)
Page 1 of 1
-
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 without verification. We present a certifyi...