Cited in
(only showing first 100 items - show all)- 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
- GRADPART
- Systre
- \texttt{polyDB}: a database for polytopes and related objects
- BacktrackKit
- GraphBacktracking
- Isomorphism and invariants of parallelisms of projective spaces
- Isomorphism testing via polynomial-time graph extensions
- An efficient heuristic approach to detecting graph isomorphism based on combinations of highly discriminating invariants
- Enumerating partial Latin rectangles
- DiscreteZOO: towards a fingerprint database of discrete objects
- Logic Programming with Graph Automorphism: Integratingnautywith Prolog (Tool Description)
- A computational comparison of symmetry handling methods for mixed integer programs
- 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
This page was built for software: bliss
