Incorporating Learning in Grid-Based Randomized SAT Solving

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

doi:10.1007/978-3-540-85776-1_21

Incorporating Learning in Grid-Based Randomized SAT 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

8 Citations (Scopus)

Original language	English
Title of host publication	Artificial Intelligence: Methodology, Systems, and Applications
Subtitle of host publication	13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings
Editors	Daniel Dochev, Marco Pistore, Paolo Traverso
Publisher	Springer
Pages	247-261
ISBN (Electronic)	978-3-540-85776-1
ISBN (Print)	978-3-540-85775-4
DOIs	https://doi.org/10.1007/978-3-540-85776-1_21
Publication status	Published - 2008
MoE publication type	A4 Conference publication
Event	International Conference on Artificial Intelligence: Methodology, Systems, Applications - Varna, Bulgaria Duration: 4 Sept 2008 → 6 Sept 2008 Conference number: 13

Publication series

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

Conference

Conference	International Conference on Artificial Intelligence: Methodology, Systems, Applications
Abbreviated title	AIMSA
Country/Territory	Bulgaria
City	Varna
Period	04/09/2008 → 06/09/2008

Access to Document

10.1007/978-3-540-85776-1_21

Cite this

Hyvärinen, A. E. J., Junttila, T., & Niemelä, I. (2008). Incorporating Learning in Grid-Based Randomized SAT Solving. In D. Dochev, M. Pistore, & P. Traverso (Eds.), Artificial Intelligence: Methodology, Systems, and Applications : 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings (pp. 247-261). (Lecture Notes in Computer Science ; Vol. 5253). Springer. https://doi.org/10.1007/978-3-540-85776-1_21

Hyvärinen, Antti E.J. ; Junttila, Tommi ; Niemelä, Ilkka. / Incorporating Learning in Grid-Based Randomized SAT Solving. Artificial Intelligence: Methodology, Systems, and Applications : 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings. editor / Daniel Dochev ; Marco Pistore ; Paolo Traverso. Springer, 2008. pp. 247-261 (Lecture Notes in Computer Science ).

@inproceedings{9dc926a53e014cf19f36b6a6bd5d313f,

title = "Incorporating Learning in Grid-Based Randomized SAT Solving",

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

year = "2008",

doi = "10.1007/978-3-540-85776-1_21",

language = "English",

isbn = "978-3-540-85775-4",

series = "Lecture Notes in Computer Science ",

publisher = "Springer",

pages = "247--261",

editor = "Daniel Dochev and Marco Pistore and Paolo Traverso",

booktitle = "Artificial Intelligence: Methodology, Systems, and Applications",

address = "Germany",

note = "International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA ; Conference date: 04-09-2008 Through 06-09-2008",

}

Hyvärinen, AEJ, Junttila, T & Niemelä, I 2008, Incorporating Learning in Grid-Based Randomized SAT Solving. in D Dochev, M Pistore & P Traverso (eds), Artificial Intelligence: Methodology, Systems, and Applications : 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings. Lecture Notes in Computer Science , vol. 5253, Springer, pp. 247-261, International Conference on Artificial Intelligence: Methodology, Systems, Applications, Varna, Bulgaria, 04/09/2008. https://doi.org/10.1007/978-3-540-85776-1_21

Incorporating Learning in Grid-Based Randomized SAT Solving. / Hyvärinen, Antti E.J.; Junttila, Tommi ; Niemelä, Ilkka.
Artificial Intelligence: Methodology, Systems, and Applications : 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings. ed. / Daniel Dochev; Marco Pistore; Paolo Traverso. Springer, 2008. p. 247-261 (Lecture Notes in Computer Science ; Vol. 5253).

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

TY - GEN

T1 - Incorporating Learning in Grid-Based Randomized SAT Solving

AU - Hyvärinen, Antti E.J.

AU - Junttila, Tommi

AU - Niemelä, Ilkka

N1 - Conference code: 13

PY - 2008

Y1 - 2008

U2 - 10.1007/978-3-540-85776-1_21

DO - 10.1007/978-3-540-85776-1_21

M3 - Conference article in proceedings

SN - 978-3-540-85775-4

T3 - Lecture Notes in Computer Science

SP - 247

EP - 261

BT - Artificial Intelligence: Methodology, Systems, and Applications

A2 - Dochev, Daniel

A2 - Pistore, Marco

A2 - Traverso, Paolo

PB - Springer

T2 - International Conference on Artificial Intelligence: Methodology, Systems, Applications

Y2 - 4 September 2008 through 6 September 2008

ER -

Hyvärinen AEJ, Junttila T , Niemelä I. Incorporating Learning in Grid-Based Randomized SAT Solving. In Dochev D, Pistore M, Traverso P, editors, Artificial Intelligence: Methodology, Systems, and Applications : 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings. Springer. 2008. p. 247-261. (Lecture Notes in Computer Science ). doi: 10.1007/978-3-540-85776-1_21