The following pages link to nauty (Q13366):
Displaying 50 items.
- (Q4426037) (← links)
- (Q4432209) (← links)
- (Q4432943) (← links)
- (Q4502654) (← links)
- (Q4511019) (← links)
- Some Hadamard designs with parameters (71,35,17) (Q4534385) (← links)
- Measure-adaptive state-space construction (Q4538487) (← links)
- On the size of optimal binary codes of length 9 and covering radius 1 (Q4544695) (← links)
- Bounds and constructions for ternary constant-composition codes (Q4544766) (← links)
- Logic Programming with Graph Automorphism: Integrating<tt>nauty</tt>with Prolog (Tool Description) (Q4593050) (← links)
- Equimatchable Regular Graphs (Q4604013) (← links)
- Improved bounds for hypohamiltonian graphs (Q4604513) (← links)
- (Q4616102) (← links)
- (Q4616114) (← links)
- Borderenergetic Graphs of Order 12 (Q4617718) (← links)
- Order nine MMIK graphs (Q4635096) (← links)
- Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic (Q4635884) (← links)
- The chromatic number of the square of the $8$-cube (Q4640334) (← links)
- Ground resolution with group computations on semantic symmetries (Q4647542) (← links)
- The Hypermetric Cone on Seven Vertices (Q4651435) (← links)
- (Q4661937) (← links)
- Enumeration of resolvable 2‐(10, 5, 16) and 3‐(10, 5, 6) designs (Q4667828) (← links)
- Kochen–Specker vectors (Q4667963) (← links)
- Iterative Equitable Partition of Graph as a Model of Constant Structure Discrete Time Closed Semantic System (Q4692095) (← links)
- Optimal binary one-error-correcting codes of length 10 have 72 codewords (Q4701373) (← links)
- An updated table of binary/ternary mixed covering codes (Q4736760) (← links)
- LINK: a system for graph computation (Q4789077) (← links)
- Minor‐order obstructions for the graphs of vertex cover 6 (Q4798112) (← links)
- (Q4798514) (← links)
- (Q4800081) (← links)
- Algebraic combinatorics in mathematical chemistry. Methods and algorithms. I: Permutation groups and coherent (cellular) algebras (Q4800083) (← links)
- (Q4805428) (← links)
- Orthomorphisms and the construction of projective planes (Q4813596) (← links)
- The Steiner triple systems of order 19 (Q4813625) (← links)
- Binary Relations and Permutation Groups (Q4835524) (← links)
- (Q4842714) (← links)
- (Q4846495) (← links)
- On a conjecture of Martin on the parameters of completely regular codes and the classification of the completely regular codes in the biggs-smith graph (Q4853922) (← links)
- Expressibility of properties of relations (Q4858829) (← links)
- (Q4863413) (← links)
- The Smallest Cubic Graphs of Girth Nine (Q4868733) (← links)
- The Primitive Distance-Transitive Representations of the Fischer Groups (Q4891846) (← links)
- On Some Multicolor Ramsey Numbers Involving $K_3+e$ and $K_4-e$ (Q4899060) (← links)
- Lower Bounds on the Size of Maximum Independent Sets and Matchings in Hypergraphs of Rank Three (Q4908832) (← links)
- Edge-Graph Diameter Bounds for Convex Polytopes with Few Facets (Q4915386) (← links)
- On some interconnections between combinatorial optimization and extremal graph theory (Q4928212) (← links)
- Symmetry and Satisfiability: An Update (Q4930583) (← links)
- (Q4938787) (← links)
- Nonhamiltonian 3-Connected Cubic Planar Graphs (Q4943701) (← links)
- Error Thresholds for Arbitrary Pauli Noise (Q4957914) (← links)