Non existence of some mixed Moore graphs of diameter 2 using SAT
type: Item
instance of: scholarly article
title: Non existence of some mixed Moore graphs of diameter 2 using SAT
zbMATH Open document ID: 1327.05093
author: Nacho López
author: Cesar Fernandez
author: Josep M. Miret Biosca
published in: Discrete Mathematics
publication date: 2015-12-08T00:00:00Z
Mathematics Subject Classification ID: 05C12
Mathematics Subject Classification ID: 05E30
zbMATH DE Number: 6517663
zbMATH Keywords: Moore bound
zbMATH Keywords: mixed Moore graph
zbMATH Keywords: directed strongly regular graph
zbMATH Keywords: satisfiability problem
describes a project that uses: MiniSat
describes a project that uses: Chaff
MaRDI profile type: Publication
full work available at URL: j.disc.2015.10.001
OpenAlex ID: W2143567596
cites work: Q4193504
cites work: On the impossibility of directed Moore graphs
cites work: The complexity of theorem-proving procedures
cites work: A machine program for theorem-proving
cites work: A directed graph version of strongly regular graphs
cites work: Q3429154
cites work: Enumeration of almost Moore digraphs of diameter two
cites work: Q3184604
cites work: On Moore Graphs with Diameters 2 and 3
cites work: Non-existence of directed strongly regular graphs
cites work: New mixed Moore graphs and directed strongly regular graphs
cites work: Mixed Moore Cayley graphs
cites work: On mixed Moore graphs
cites work: Q4041603
DOI: 10.1016/J.DISC.2015.10.001
description: scientific article; zbMATH DE number 6517663