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ä

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

41 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	Logic for Programming, Artificial Intelligence, and Reasoning
Alaotsikko	17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010
Toimittajat	Christian G. Fermüller, Andrei Voronkov
Kustantaja	Springer
Sivut	372-386
Sivumäärä	15
ISBN (elektroninen)	978-3-642-16242-8
ISBN (painettu)	978-3-642-16241-1
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-642-16242-8_27
Tila	Julkaistu - 2010
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	International Conference on Logic for Programming, Artificial Intelligence and Reasoning - Yogyakarta, Indonesia Kesto: 10 lokak. 2010 → 15 lokak. 2010 Konferenssinumero: 17

Julkaisusarja

Nimi	Lecture Notes in Computer Science
Kustantaja	Springer Berlin Heidelberg
Vuosikerta	6397 LNCS
ISSN (painettu)	0302-9743
ISSN (elektroninen)	1611-3349

Conference

Conference	International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Lyhennettä	LPAR
Maa/Alue	Indonesia
Kaupunki	Yogyakarta
Ajanjakso	10/10/2010 → 15/10/2010

Pääsy asiakirjaan

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

OpenUrl-saatavuus

Koko teksti

Muut tiedostot ja linkit

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

Siteeraa tätä

Hyvärinen, A. E. J., Junttila, T., & Niemelä, I. (2010). Partitioning SAT Instances for Distributed Solving. teoksessa C. G. Fermüller, & A. Voronkov (Toimittajat), Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 (Sivut 372-386). (Lecture Notes in Computer Science; Vuosikerta 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. Toimittaja / Christian G. Fermüller ; Andrei Voronkov. Springer, 2010. Sivut 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. julkaisussa CG Fermüller & A Voronkov (toim), Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Lecture Notes in Computer Science, Vuosikerta 6397 LNCS, Springer, Sivut 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. toim. / Christian G. Fermüller; Andrei Voronkov. Springer, 2010. s. 372-386 (Lecture Notes in Computer Science; Vuosikerta 6397 LNCS).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

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 contribution

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. julkaisussa Fermüller CG, Voronkov A, toimittajat, Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Springer. 2010. s. 372-386. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-16242-8_27