bliss

swMATH21797MaRDI QIDQ33598FDOQ33598

Author name not available (Why is that?)

Cited In (41)

• Classical symmetries and the quantum approximate optimization algorithm
• DiscreteZOO: a fingerprint database of discrete objects
• Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
• Permutation group algorithms based on directed graphs
• Uniform semi-Latin squares and their pairwise-variance aberrations
• Practical graph isomorphism. II.
• 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
• An efficient heuristic approach to detecting graph isomorphism based on combinations of highly discriminating invariants
• On generalized surrogate duality in mixed-integer nonlinear programming
• Optimal symmetry breaking for graph problems
• A computational comparison of symmetry handling methods for mixed integer programs
• On Generalized Surrogate Duality in Mixed-Integer Nonlinear Programming
• Exact \(\lambda\)-numbers of generalized Petersen graphs of certain higher-orders and on Möbius strips
• Title not available (Why is that?)
• Enumerating partial Latin rectangles
• Efficient modularity density heuristics for large graphs
• Isomorphism Test for Digraphs with Weighted Edges.
• Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic
• A computational approach to construct a multivariate complete graph invariant
• Improved Static Symmetry Breaking for SAT
• Logic Programming with Graph Automorphism: Integratingnautywith Prolog (Tool Description)
• Graph Similarity and Approximate Isomorphism
• Distributed discovery of frequent subgraphs of a network using MapReduce
• Engineering an Efficient Canonical Labeling Tool for Large and Sparse Graphs
• There is no (75,32,10,16) strongly regular graph
• Symmetric blocking
• polyDB: A Database for Polytopes and Related Objects
• Integer sequence discovery from small graphs
• Error Thresholds for Arbitrary Pauli Noise
• An adaptive prefix-assignment technique for symmetry reduction
• Benchmark Graphs for Practical Graph Isomorphism
• Packing, partitioning, and covering symresacks
• Title not available (Why is that?)
• Minimal and canonical images
• Isomorphism testing via polynomial-time graph extensions
• DiscreteZOO: towards a fingerprint database of discrete objects
• Isomorphism and Invariants of Parallelisms of Projective Spaces
• CDCLSym: introducing effective symmetry breaking in SAT solving
• STUDY OF GRAPH ISOMORPHISM USING JORDAN FORMS OF ADJACENCY MATRICES
• Characterization of symmetry of complex networks

This page was built for software: bliss