Saucy
From MaRDI portal
Software:25778
swMATH13867MaRDI QIDQ25778FDOQ25778
Author name not available (Why is that?)
Cited In (8)
- 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
- Symmetry avoidance in MACE-style finite model finding
- CDCLSym: introducing effective symmetry breaking in SAT solving
This page was built for software: Saucy
