Login / Signup
Solving Graph Coloring Problems with Abstraction and Symmetry: the Ramsey Number R(4, 3, 3)=30.
Michael Codish
Michael Frank
Avraham Itzhakov
Alice Miller
Published in:
CoRR (2014)
Keyphrases
</>
small number
neural network
dynamic programming
combinatorial optimization
real world
machine learning