conauto
From MaRDI portal
Conauto
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