Strategies for Solving SAT in Grids by randomized search

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

doi:10.1007/978-3-540-85110-3_11

Strategies for Solving SAT in Grids by randomized search

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

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

7 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	Intelligent Computer Mathematics
Alaotsikko	9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
Toimittajat	Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk
Kustantaja	Springer
Sivut	125-140
ISBN (elektroninen)	978-3-540-85110-3
ISBN (painettu)	978-3-540-85109-7
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-540-85110-3_11
Tila	Julkaistu - 2008
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Julkaisusarja

Nimi	Lecture Notes in Computer Science
Kustantaja	Springer Berlin Heidelberg
Vuosikerta	5144
ISSN (painettu)	0302-9743

Pääsy asiakirjaan

10.1007/978-3-540-85110-3_11

Siteeraa tätä

Hyvärinen, A. E. J., Junttila, T., & Niemelä, I. (2008). Strategies for Solving SAT in Grids by randomized search. teoksessa S. Autexier, J. Campbell, J. Rubio, V. Sorge, M. Suzuki, & F. Wiedijk (Toimittajat), Intelligent Computer Mathematics : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings (Sivut 125-140). (Lecture Notes in Computer Science; Vuosikerta 5144). Springer. https://doi.org/10.1007/978-3-540-85110-3_11

Hyvärinen, Antti E.J. ; Junttila, Tommi ; Niemelä, Ilkka. / Strategies for Solving SAT in Grids by randomized search. Intelligent Computer Mathematics : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings. Toimittaja / Serge Autexier ; John Campbell ; Julio Rubio ; Volker Sorge ; Masakazu Suzuki ; Freek Wiedijk. Springer, 2008. Sivut 125-140 (Lecture Notes in Computer Science).

@inproceedings{281b20ff4318410aa688b1ccd5c97e6c,

title = "Strategies for Solving SAT in Grids by randomized search",

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

year = "2008",

doi = "10.1007/978-3-540-85110-3_11",

language = "English",

isbn = "978-3-540-85109-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "125--140",

editor = "Serge Autexier and John Campbell and Julio Rubio and Volker Sorge and Masakazu Suzuki and Freek Wiedijk",

booktitle = "Intelligent Computer Mathematics",

address = "Germany",

}

Hyvärinen, AEJ, Junttila, T & Niemelä, I 2008, Strategies for Solving SAT in Grids by randomized search. julkaisussa S Autexier, J Campbell, J Rubio, V Sorge, M Suzuki & F Wiedijk (toim), Intelligent Computer Mathematics : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings. Lecture Notes in Computer Science, Vuosikerta 5144, Springer, Sivut 125-140. https://doi.org/10.1007/978-3-540-85110-3_11

Strategies for Solving SAT in Grids by randomized search. / Hyvärinen, Antti E.J.; Junttila, Tommi ; Niemelä, Ilkka.
Intelligent Computer Mathematics : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings. toim. / Serge Autexier; John Campbell; Julio Rubio; Volker Sorge; Masakazu Suzuki; Freek Wiedijk. Springer, 2008. s. 125-140 (Lecture Notes in Computer Science; Vuosikerta 5144).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

TY - GEN

T1 - Strategies for Solving SAT in Grids by randomized search

AU - Hyvärinen, Antti E.J.

AU - Junttila, Tommi

AU - Niemelä, Ilkka

PY - 2008

Y1 - 2008

U2 - 10.1007/978-3-540-85110-3_11

DO - 10.1007/978-3-540-85110-3_11

M3 - Conference article in proceedings

SN - 978-3-540-85109-7

T3 - Lecture Notes in Computer Science

SP - 125

EP - 140

BT - Intelligent Computer Mathematics

A2 - Autexier, Serge

A2 - Campbell, John

A2 - Rubio, Julio

A2 - Sorge, Volker

A2 - Suzuki, Masakazu

A2 - Wiedijk, Freek

PB - Springer

ER -

Hyvärinen AEJ, Junttila T , Niemelä I. Strategies for Solving SAT in Grids by randomized search. julkaisussa Autexier S, Campbell J, Rubio J, Sorge V, Suzuki M, Wiedijk F, toimittajat, Intelligent Computer Mathematics : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings. Springer. 2008. s. 125-140. (Lecture Notes in Computer Science). doi: 10.1007/978-3-540-85110-3_11