Cited in
(14)- MiniSym
- scientific article; zbMATH DE number 7310264 (Why is no real title available?)
- CDCLSym: introducing effective symmetry breaking in SAT solving
- Symmetry avoidance in MACE-style finite model finding
- Breaking symmetries in graph search with canonizing sets
- Practical graph isomorphism. II.
- Algebraic and topological indices of molecular pathway networks in human cancers
- PermLib
- nishe
- bliss
- conauto
- geng
- Novel techniques to speed up the computation of the automorphism group of a graph
- A computational comparison of symmetry handling methods for mixed integer programs
This page was built for software: Saucy
