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