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