conauto
From MaRDI portal
Conauto
Cited in
(9)- Novel techniques to speed up the computation of the automorphism group of a graph
- Practical graph isomorphism. II.
- Saucy
- bliss
- geng
- Imperative Refinement
- Benchmark Graphs for Practical Graph Isomorphism
- Isomorphism test for digraphs with weighted edges
- A proof system for graph (non)-isomorphism verification
This page was built for software: conauto