Non existence of some mixed Moore graphs of diameter 2 using SAT

DOI10.1016/j.disc.2015.10.001zbMath1327.05093OpenAlexW2143567596MaRDI QIDQ898115

Cèsar Fernández, Nacho López, Josep M. Miret Biosca

Publication date: 8 December 2015

Published in: Discrete Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.disc.2015.10.001

zbMATH Keywords

satisfiability problemMoore bounddirected strongly regular graphmixed Moore graph

Mathematics Subject Classification ID

Association schemes, strongly regular graphs (05E30) Distance in graphs (05C12)

Related Items

On mixed almost Moore graphs of diameter two ⋮ On networks with order close to the Moore bound ⋮ Construction of extremal mixed graphs of diameter two ⋮ Moore mixed graphs from Cayley graphs ⋮ Sequence mixed graphs ⋮ A family of mixed graphs with large order and diameter 2 ⋮ A note on Moore Cayley digraphs ⋮ Mixed cages

Uses Software

• MiniSat
• Chaff

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Mixed Moore Cayley graphs
• On mixed Moore graphs
• A directed graph version of strongly regular graphs
• On the impossibility of directed Moore graphs
• Non-existence of directed strongly regular graphs
• New mixed Moore graphs and directed strongly regular graphs
• On Moore Graphs with Diameters 2 and 3
• A machine program for theorem-proving
• The complexity of theorem-proving procedures
• Enumeration of almost Moore digraphs of diameter two

This page was built for publication: Non existence of some mixed Moore graphs of diameter 2 using SAT