TCS / Research / Publications / A Distribution Method for Solving SAT in Grids
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

A Distribution Method for Solving SAT in Grids

Reference:

Antti E. J. Hyvärinen, Tommi Junttila, and Ilkka Niemelä. A distribution method for solving SAT in grids. In Armin Biere and Carla P. Gomes, editors, SAT 2006, volume 4121 of Lecture Notes in Computer Science, pages 430–435. Springer, 2006.

Suggested BibTeX entry:

@inproceedings{HyvarinenJunttilaNiemela:SAT2006,
    author = {Antti E. J. Hyv{\"a}rinen and Tommi Junttila and Ilkka Niemel{\"a}},
    booktitle = {SAT 2006},
    editor = {Armin Biere and Carla P. Gomes},
    pages = {430--435},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {A Distribution Method for Solving {SAT} in Grids},
    volume = {4121},
    year = {2006},
}

See dx.doi.org ...

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.