Miller, Alice
- Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry\n breaking
2015/10/28 by Michael Codish, Codish, Michael, Michael Frank +6 · 1 citation
Computer Science · Mathematics · #Advanced Graph Theory Research #Artificial Intelligence (cs.AI) #Complexity and Algorithms in Graphs #Computational Geometry and Mesh Generation #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #Limits and Structures in Graph Theory