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ä

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

8 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	Artificial Intelligence: Methodology, Systems, and Applications
Alaotsikko	13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings
Toimittajat	Daniel Dochev, Marco Pistore, Paolo Traverso
Kustantaja	Springer
Sivut	247-261
ISBN (elektroninen)	978-3-540-85776-1
ISBN (painettu)	978-3-540-85775-4
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-540-85776-1_21
Tila	Julkaistu - 2008
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa
Tapahtuma	International Conference on Artificial Intelligence: Methodology, Systems, Applications - Varna, Bulgaria Kesto: 4 syysk. 2008 → 6 syysk. 2008 Konferenssinumero: 13

Julkaisusarja

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

Conference

Conference	International Conference on Artificial Intelligence: Methodology, Systems, Applications
Lyhennettä	AIMSA
Maa/Alue	Bulgaria
Kaupunki	Varna
Ajanjakso	04/09/2008 → 06/09/2008

Pääsy asiakirjaan

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

Siteeraa tätä

Hyvärinen, A. E. J., Junttila, T., & Niemelä, I. (2008). Incorporating Learning in Grid-Based Randomized SAT Solving. teoksessa D. Dochev, M. Pistore, & P. Traverso (Toimittajat), Artificial Intelligence: Methodology, Systems, and Applications : 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings (Sivut 247-261). (Lecture Notes in Computer Science ; Vuosikerta 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. Toimittaja / Daniel Dochev ; Marco Pistore ; Paolo Traverso. Springer, 2008. Sivut 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. julkaisussa D Dochev, M Pistore & P Traverso (toim), Artificial Intelligence: Methodology, Systems, and Applications : 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings. Lecture Notes in Computer Science , Vuosikerta 5253, Springer, Sivut 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. toim. / Daniel Dochev; Marco Pistore; Paolo Traverso. Springer, 2008. s. 247-261 (Lecture Notes in Computer Science ; Vuosikerta 5253).

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

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. julkaisussa Dochev D, Pistore M, Traverso P, toimittajat, Artificial Intelligence: Methodology, Systems, and Applications : 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings. Springer. 2008. s. 247-261. (Lecture Notes in Computer Science ). doi: 10.1007/978-3-540-85776-1_21