conauto

MaRDI QIDQ38696swMATHFDO

Official website https://sites.google.com/site/giconauto/

Cited in

(9)

• Practical graph isomorphism. II.
• Novel techniques to speed up the computation of the automorphism group of a graph
• A proof system for graph (non)-isomorphism verification
• Saucy
• bliss
• geng
• Imperative Refinement
• Isomorphism test for digraphs with weighted edges
• Benchmark Graphs for Practical Graph Isomorphism

This page was built for software: conauto