External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Distribution Method for Solving SAT in Grids

Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä. A Distribution Method for Solving SAT in Grids. In Armin Biere, Carla P. Gomes, editors, Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings. Volume 4121 of Lecture Notes in Computer Science, pages 430-435, Springer, 2006. [doi]

Authors

Antti Eero Johannes Hyvärinen

This author has not been identified. Look up 'Antti Eero Johannes Hyvärinen' in Google

Tommi A. Junttila

This author has not been identified. Look up 'Tommi A. Junttila' in Google

Ilkka Niemelä

This author has not been identified. Look up 'Ilkka Niemelä' in Google
runs on