Cited in
(only showing first 100 items - show all)- MiniSym
- Graph similarity and approximate isomorphism
- Isomorphism test for digraphs with weighted edges
- Error thresholds for arbitrary Pauli noise
- On generalized surrogate duality in mixed-integer nonlinear programming
- On generalized surrogate duality in mixed-integer nonlinear programming
- CDCLSym: introducing effective symmetry breaking in SAT solving
- Integer sequence discovery from small graphs
- relaxation_complexity
- Benchmark Graphs for Practical Graph Isomorphism
- There is no (75,32,10,16) strongly regular graph
- Minimal and canonical images
- Packing, partitioning, and covering symresacks
- Study of graph isomorphism using Jordan forms of adjacency matrices
- Vole
- scientific article; zbMATH DE number 5255703 (Why is no real title available?)
- Classical symmetries and the quantum approximate optimization algorithm
- Optimal symmetry breaking for graph problems
- Novel techniques to speed up the computation of the automorphism group of a graph
- Tight lower and upper bounds for the complexity of canonical colour refinement
- scientific article; zbMATH DE number 6776481 (Why is no real title available?)
- Improved static symmetry breaking for SAT
- Exact \(\lambda\)-numbers of generalized Petersen graphs of certain higher-orders and on Möbius strips
- Efficient modularity density heuristics for large graphs
- Distributed discovery of frequent subgraphs of a network using MapReduce
- Uniform semi-Latin squares and their pairwise-variance aberrations
- Characterization of symmetry of complex networks
- DiscreteZOO: a fingerprint database of discrete objects
- A computational approach to construct a multivariate complete graph invariant
- Practical graph isomorphism. II.
- An adaptive prefix-assignment technique for symmetry reduction
- Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
- Permutation group algorithms based on directed graphs
- Engineering an efficient canonical labeling tool for large and sparse graphs
- nauty
- SymChaff
- GDToolkit
- cddplus
- Cliquer
- Max-AO
- GRAPE
- Symmetric blocking
- LPAm+
- DESIGN
- QuACN
- VNDS
- Traces
- SmallGroups Library
- PermLib
- Graded Ring Database
- HTab
- Orbiter
- QMG
- FindStat
- IMAGINARY
- Saucy
- 01poly
- MedOlDatschgerl
- QuickHull3D
- nishe
- SageSAT
- CaGe
- Shatter
- Cocone
- CompuTop
- DGD gallery
- Detri
- GEOMETRICA
- GeoCalcLib
- Glop
- IJK
- Polyominoes
- Trelis
- VaryLab
- VisPak
- birkhoff faces
- pl-nauty
- Digraphs
- GraPHedron
- DiscreteZOO
- GENREG
- lattice_normalization
- sage-drg
- polymake_smooth_fano
- conauto
- geng
- Small Graph Database
- Ferret
- images
- snarkhunter
- Triangleramsey
- PrimGrp
- HGen
- TransGrp
- GraphCanon
- PermGroup
- reduce
- MLSVM
- pls.lib
- Gavrog
This page was built for software: bliss
