swMATH13867MaRDI QIDQ25778FDOQ25778
Author name not available (Why is that?)
Official website: http://vlsicad.eecs.umich.edu/BK/SAUCY/
Cited In (14)
- MiniSym
- Practical graph isomorphism. II.
- 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
- Breaking symmetries in graph search with canonizing sets
- Title not available (Why is that?)
- Algebraic and topological indices of molecular pathway networks in human cancers
- PermLib
- nishe
- bliss
- conauto
- geng
- Symmetry avoidance in MACE-style finite model finding
- CDCLSym: introducing effective symmetry breaking in SAT solving
This page was built for software: Saucy
