The following pages link to Saucy (Q25778):
Displaying 8 items.
- Algebraic and topological indices of molecular pathway networks in human cancers (Q745139) (← links)
- A computational comparison of symmetry handling methods for mixed integer programs (Q1741126) (← links)
- Symmetry avoidance in MACE-style finite model finding (Q2180212) (← links)
- CDCLSym: introducing effective symmetry breaking in SAT solving (Q2324209) (← links)
- Novel techniques to speed up the computation of the automorphism group of a graph (Q2336847) (← links)
- Breaking symmetries in graph search with canonizing sets (Q2398437) (← links)
- Practical graph isomorphism. II. (Q2437295) (← links)
- (Q5150646) (← links)
