A proof system for graph (non)-isomorphism verification

In order to apply canonical labelling of graphs and isomorphism checking in interactive theorem provers, these checking algorithms must either be mechanically verified or their results must be verifiable by independent checkers. We analyze a state-of-the-art algorithm for canonical labelling of grap...

Full description

Bibliographic Details
Main Authors: Milan Banković, Ivan Drecun, Filip Marić
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2023-02-01
Series:Logical Methods in Computer Science
Subjects:
Online Access:https://lmcs.episciences.org/8898/pdf