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ä

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

7 Citations (Scopus)

Original language	English
Title of host publication	Intelligent Computer Mathematics
Subtitle of host publication	9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
Editors	Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk
Publisher	Springer
Pages	125-140
ISBN (Electronic)	978-3-540-85110-3
ISBN (Print)	978-3-540-85109-7
DOIs	https://doi.org/10.1007/978-3-540-85110-3_11
Publication status	Published - 2008
MoE publication type	A4 Conference publication

Publication series

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

Access to Document

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

Cite this

Hyvärinen, A. E. J., Junttila, T., & Niemelä, I. (2008). Strategies for Solving SAT in Grids by randomized search. In S. Autexier, J. Campbell, J. Rubio, V. Sorge, M. Suzuki, & F. Wiedijk (Eds.), 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 (pp. 125-140). (Lecture Notes in Computer Science; Vol. 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. editor / Serge Autexier ; John Campbell ; Julio Rubio ; Volker Sorge ; Masakazu Suzuki ; Freek Wiedijk. Springer, 2008. pp. 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. in S Autexier, J Campbell, J Rubio, V Sorge, M Suzuki & F Wiedijk (eds), 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, vol. 5144, Springer, pp. 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. ed. / Serge Autexier; John Campbell; Julio Rubio; Volker Sorge; Masakazu Suzuki; Freek Wiedijk. Springer, 2008. p. 125-140 (Lecture Notes in Computer Science; Vol. 5144).

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

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. In Autexier S, Campbell J, Rubio J, Sorge V, Suzuki M, Wiedijk F, editors, 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. p. 125-140. (Lecture Notes in Computer Science). doi: 10.1007/978-3-540-85110-3_11