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

DOI10.1016/J.DISC.2015.10.001zbMATH Open1327.05093OpenAlexW2143567596MaRDI QIDQ898115FDOQ898115

Authors Nacho López, Cesar Fernandez, 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

Moore boundsatisfiability problemdirected strongly regular graphmixed Moore graph

Mathematics Subject Classification ID

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

Recommendations

• On mixed Moore graphs
• A revised Moore bound for mixed graphs
• On mixed almost Moore graphs of diameter two
• On bipartite‐mixed graphs
• On total regularity of mixed graphs with order close to the Moore bound

Cites work

• scientific article; zbMATH DE number 5139161 (Why is no real title available?)
• scientific article; zbMATH DE number 3455291 (Why is no real title available?)
• scientific article; zbMATH DE number 3632534 (Why is no real title available?)
• A directed graph version of strongly regular graphs
• A machine program for theorem-proving
• Enumeration of almost Moore digraphs of diameter two
• Handbook of knowledge representation.
• Mixed Moore Cayley graphs
• New mixed Moore graphs and directed strongly regular graphs
• Non-existence of directed strongly regular graphs
• On Moore Graphs with Diameters 2 and 3
• On mixed Moore graphs
• On the impossibility of directed Moore graphs
• The complexity of theorem-proving procedures

Cited in

(11)

• Construction of extremal mixed graphs of diameter two
• On mixed almost Moore graphs of diameter two
• Moore mixed graphs from Cayley graphs
• A note on Moore Cayley digraphs
• On the Existence of Small Strictly Neumaier Graphs
• The missing Moore graph as an optimization problem
• On large regular \(( 1 , 1 , k )\)-mixed graphs
• A family of mixed graphs with large order and diameter 2
• Mixed cages
• Sequence mixed graphs
• On networks with order close to the Moore bound

Describes a project that uses

Uses Software

• MiniSat
• Chaff

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q898115)