A Distribution Method for Solving SAT in Grids

Antti E.J. Hyvärinen; Tommi Junttila; Ilkka Niemelä

doi:10.1007/11814948_39

A Distribution Method for Solving SAT in Grids

Antti E.J. Hyvärinen, Tommi Junttila, Ilkka Niemelä

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

31 Citations (Scopus)

Original language	English
Title of host publication	Theory and Applications of Satisfiability Testing - SAT 2006
Subtitle of host publication	9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
Editors	Armin Biere, Carla P. Gomes
Publisher	Springer
Pages	430-435
ISBN (Electronic)	978-3-540-37207-3
ISBN (Print)	978-3-540-37206-6
DOIs	https://doi.org/10.1007/11814948_39
Publication status	Published - 2006
MoE publication type	A4 Conference publication
Event	International Conference on Theory and Applications of Satisfiability Testing - Helsinki, Finland Duration: 8 Jul 2013 → 12 Jul 2013 Conference number: 16

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg
Volume	4121
ISSN (Print)	0302-9743

Conference

Conference	International Conference on Theory and Applications of Satisfiability Testing
Abbreviated title	SAT
Country/Territory	Finland
City	Helsinki
Period	08/07/2013 → 12/07/2013

Keywords

Computational Grid
Parallel Search Algorithms
Parallelization of DPLL procedure
SAT

Access to Document

10.1007/11814948_39

Cite this

Hyvärinen, A. E. J., Junttila, T., & Niemelä, I. (2006). A Distribution Method for Solving SAT in Grids. In A. Biere, & C. P. Gomes (Eds.), Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings (pp. 430-435). (Lecture Notes in Computer Science ; Vol. 4121). Springer. https://doi.org/10.1007/11814948_39

@inproceedings{1d1d399ba9fc400ab12404a9b9b56f26,

title = "A Distribution Method for Solving SAT in Grids",

keywords = "Computational Grid, Parallel Search Algorithms, Parallelization of DPLL procedure, SAT, Computational Grid, Parallel Search Algorithms, Parallelization of DPLL procedure, SAT, Computational Grid, Parallel Search Algorithms, Parallelization of DPLL procedure, SAT",

author = "Hyv{\"a}rinen, {Antti E.J.} and Tommi Junttila and Ilkka Niemel{\"a}",

year = "2006",

doi = "10.1007/11814948_39",

language = "English",

isbn = "978-3-540-37206-6",

series = "Lecture Notes in Computer Science ",

publisher = "Springer",

pages = "430--435",

editor = "Armin Biere and {P. Gomes}, Carla",

booktitle = "Theory and Applications of Satisfiability Testing - SAT 2006",

address = "Germany",

note = "International Conference on Theory and Applications of Satisfiability Testing, SAT ; Conference date: 08-07-2013 Through 12-07-2013",

}

Hyvärinen, AEJ, Junttila, T & Niemelä, I 2006, A Distribution Method for Solving SAT in Grids. in A Biere & C P. Gomes (eds), Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings. Lecture Notes in Computer Science , vol. 4121, Springer, pp. 430-435, International Conference on Theory and Applications of Satisfiability Testing, Helsinki, Finland, 08/07/2013. https://doi.org/10.1007/11814948_39

A Distribution Method for Solving SAT in Grids. / Hyvärinen, Antti E.J.; Junttila, Tommi ; Niemelä, Ilkka.
Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings. ed. / Armin Biere; Carla P. Gomes. Springer, 2006. p. 430-435 (Lecture Notes in Computer Science ; Vol. 4121).

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

TY - GEN

T1 - A Distribution Method for Solving SAT in Grids

AU - Hyvärinen, Antti E.J.

AU - Junttila, Tommi

AU - Niemelä, Ilkka

N1 - Conference code: 16

PY - 2006

Y1 - 2006

KW - Computational Grid

KW - Parallel Search Algorithms

KW - Parallelization of DPLL procedure

KW - SAT

KW - Computational Grid

KW - Parallel Search Algorithms

KW - Parallelization of DPLL procedure

KW - SAT

KW - Computational Grid

KW - Parallel Search Algorithms

KW - Parallelization of DPLL procedure

KW - SAT

UR - http://www.springerlink.com/content/e770r71266kl2744/

U2 - 10.1007/11814948_39

DO - 10.1007/11814948_39

M3 - Conference article in proceedings

SN - 978-3-540-37206-6

T3 - Lecture Notes in Computer Science

SP - 430

EP - 435

BT - Theory and Applications of Satisfiability Testing - SAT 2006

A2 - Biere, Armin

A2 - P. Gomes, Carla

PB - Springer

T2 - International Conference on Theory and Applications of Satisfiability Testing

Y2 - 8 July 2013 through 12 July 2013

ER -

A Distribution Method for Solving SAT in Grids

Publication series

Conference

Keywords

Access to Document

Other files and links

Cite this