Partitioning SAT Instances for Distributed Solving

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

doi:10.1007/978-3-642-16242-8_27

Partitioning SAT Instances for Distributed Solving

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

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

41 Citations (Scopus)

Original language	English
Title of host publication	Logic for Programming, Artificial Intelligence, and Reasoning
Subtitle of host publication	17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010
Editors	Christian G. Fermüller, Andrei Voronkov
Publisher	Springer
Pages	372-386
Number of pages	15
ISBN (Electronic)	978-3-642-16242-8
ISBN (Print)	978-3-642-16241-1
DOIs	https://doi.org/10.1007/978-3-642-16242-8_27
Publication status	Published - 2010
MoE publication type	A4 Conference publication
Event	International Conference on Logic for Programming, Artificial Intelligence and Reasoning - Yogyakarta, Indonesia Duration: 10 Oct 2010 → 15 Oct 2010 Conference number: 17

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg
Volume	6397 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Abbreviated title	LPAR
Country/Territory	Indonesia
City	Yogyakarta
Period	10/10/2010 → 15/10/2010

Access to Document

10.1007/978-3-642-16242-8_27

Cite this

Hyvärinen, A. E. J., Junttila, T., & Niemelä, I. (2010). Partitioning SAT Instances for Distributed Solving. In C. G. Fermüller, & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 (pp. 372-386). (Lecture Notes in Computer Science; Vol. 6397 LNCS). Springer. https://doi.org/10.1007/978-3-642-16242-8_27

Hyvärinen, Antti E.J. ; Junttila, Tommi ; Niemelä, Ilkka. / Partitioning SAT Instances for Distributed Solving. Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. editor / Christian G. Fermüller ; Andrei Voronkov. Springer, 2010. pp. 372-386 (Lecture Notes in Computer Science).

@inproceedings{7b2b6a2ae3f7468eb9385f3268af7354,

title = "Partitioning SAT Instances for Distributed Solving",

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

year = "2010",

doi = "10.1007/978-3-642-16242-8_27",

language = "English",

isbn = "978-3-642-16241-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "372--386",

editor = "Ferm{\"u}ller, {Christian G.} and Andrei Voronkov",

booktitle = "Logic for Programming, Artificial Intelligence, and Reasoning",

address = "Germany",

note = "International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR ; Conference date: 10-10-2010 Through 15-10-2010",

}

Hyvärinen, AEJ, Junttila, T & Niemelä, I 2010, Partitioning SAT Instances for Distributed Solving. in CG Fermüller & A Voronkov (eds), Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Lecture Notes in Computer Science, vol. 6397 LNCS, Springer, pp. 372-386, International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Yogyakarta, Indonesia, 10/10/2010. https://doi.org/10.1007/978-3-642-16242-8_27

Partitioning SAT Instances for Distributed Solving. / Hyvärinen, Antti E.J.; Junttila, Tommi ; Niemelä, Ilkka.
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. ed. / Christian G. Fermüller; Andrei Voronkov. Springer, 2010. p. 372-386 (Lecture Notes in Computer Science; Vol. 6397 LNCS).

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

TY - GEN

T1 - Partitioning SAT Instances for Distributed Solving

AU - Hyvärinen, Antti E.J.

AU - Junttila, Tommi

AU - Niemelä, Ilkka

N1 - Conference code: 17

PY - 2010

Y1 - 2010

UR - http://dx.doi.org/10.1007/978-3-642-16242-8_27

U2 - 10.1007/978-3-642-16242-8_27

DO - 10.1007/978-3-642-16242-8_27

M3 - Conference article in proceedings

SN - 978-3-642-16241-1

T3 - Lecture Notes in Computer Science

SP - 372

EP - 386

BT - Logic for Programming, Artificial Intelligence, and Reasoning

A2 - Fermüller, Christian G.

A2 - Voronkov, Andrei

PB - Springer

T2 - International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Y2 - 10 October 2010 through 15 October 2010

ER -

Hyvärinen AEJ, Junttila T , Niemelä I. Partitioning SAT Instances for Distributed Solving. In Fermüller CG, Voronkov A, editors, Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Springer. 2010. p. 372-386. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-16242-8_27

Partitioning SAT Instances for Distributed Solving

Publication series

Conference

Access to Document

Other files and links

Cite this