Non existence of some mixed Moore graphs of diameter 2 using SAT.
Nacho LópezJosep M. MiretCèsar FernándezPublished in: Discret. Math. (2016)
Keyphrases
- average degree
- phase transition
- satisfiability problem
- sat problem
- graph matching
- sat solvers
- graph mining
- search algorithm
- sat solving
- max sat
- graph theoretic
- undirected graph
- directed graph
- neural network
- graph structure
- graph theory
- graph model
- bipartite graph
- graph representation
- search strategies
- constraint satisfaction
- stochastic local search
- propositional satisfiability
- maximum distance
- orders of magnitude