Saucy
From MaRDI portal
Software:25778
No author found.
Related Items (8)
Breaking symmetries in graph search with canonizing sets ⋮ Symmetry avoidance in MACE-style finite model finding ⋮ Practical graph isomorphism. II. ⋮ A computational comparison of symmetry handling methods for mixed integer programs ⋮ Algebraic and topological indices of molecular pathway networks in human cancers ⋮ CDCLSym: introducing effective symmetry breaking in SAT solving ⋮ Unnamed Item ⋮ Novel techniques to speed up the computation of the automorphism group of a graph
This page was built for software: Saucy
