Login / Signup

Parallel search for Ramsey grid colorings.

Daniel AponWing Ning Li
Published in: ACM Southeast Regional Conference (2012)
Keyphrases
  • parallel search
  • theorem proving
  • data sets
  • machine learning
  • graph coloring
  • computational grids
  • case study
  • grid services
  • grid points