Codish, Michael
- Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry\n breaking
2015/10/28 by Michael Codish, Michael Frank, Codish, Michael +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
- Implementing RPO and POLO using SAT
2007/01/01 by Peter Schneider–Kamp, Schneider-Kamp, Peter, Carsten Fuhs +13 · 1 citation
Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Advanced Database Systems and Queries