Justification-Based Local Search with Adaptive Noise Strategies

Matti Järvisalo; Tommi Junttila; Ilkka Niemelä

doi:10.1007/978-3-540-89439-1_3

Justification-Based Local Search with Adaptive Noise Strategies

Matti Järvisalo, Tommi Junttila, Ilkka Niemelä

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

6 Citations (Scopus)

Original language	English
Title of host publication	Logic for Programming, Artificial Intelligence, and Reasoning
Subtitle of host publication	15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
Editors	Iliano Cervesato, Helmut Veith, Andrei Voronkov
Publisher	Springer
Pages	31-46
ISBN (Electronic)	978-3-540-89439-1
ISBN (Print)	978-3-540-89438-4
DOIs	https://doi.org/10.1007/978-3-540-89439-1_3
Publication status	Published - 2008
MoE publication type	A4 Conference publication
Event	Logic for Programming, Artificial Intelligence and Reasoning - Doha, Qatar Duration: 22 Nov 2008 → 27 Nov 2008 Conference number: 15

Publication series

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

Conference

Conference	Logic for Programming, Artificial Intelligence and Reasoning
Abbreviated title	LPAR
Country/Territory	Qatar
City	Doha
Period	22/11/2008 → 27/11/2008

Access to Document

10.1007/978-3-540-89439-1_3

Cite this

Järvisalo, M., Junttila, T., & Niemelä, I. (2008). Justification-Based Local Search with Adaptive Noise Strategies. In I. Cervesato, H. Veith, & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings (pp. 31-46). (Lecture Notes in Computer Science ; Vol. 5330). Springer. https://doi.org/10.1007/978-3-540-89439-1_3

Järvisalo, Matti ; Junttila, Tommi ; Niemelä, Ilkka. / Justification-Based Local Search with Adaptive Noise Strategies. Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. editor / Iliano Cervesato ; Helmut Veith ; Andrei Voronkov. Springer, 2008. pp. 31-46 (Lecture Notes in Computer Science ).

@inproceedings{ff99ac239a8f4f77af14ad64b056c204,

title = "Justification-Based Local Search with Adaptive Noise Strategies",

author = "Matti J{\"a}rvisalo and Tommi Junttila and Ilkka Niemel{\"a}",

year = "2008",

doi = "10.1007/978-3-540-89439-1_3",

language = "English",

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

series = "Lecture Notes in Computer Science ",

publisher = "Springer",

pages = "31--46",

editor = "Iliano Cervesato and Helmut Veith and Andrei Voronkov",

booktitle = "Logic for Programming, Artificial Intelligence, and Reasoning",

address = "Germany",

note = "Logic for Programming, Artificial Intelligence and Reasoning, LPAR ; Conference date: 22-11-2008 Through 27-11-2008",

}

Järvisalo, M, Junttila, T & Niemelä, I 2008, Justification-Based Local Search with Adaptive Noise Strategies. in I Cervesato, H Veith & A Voronkov (eds), Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. Lecture Notes in Computer Science , vol. 5330, Springer, pp. 31-46, Logic for Programming, Artificial Intelligence and Reasoning, Doha, Qatar, 22/11/2008. https://doi.org/10.1007/978-3-540-89439-1_3

Justification-Based Local Search with Adaptive Noise Strategies. / Järvisalo, Matti; Junttila, Tommi ; Niemelä, Ilkka.
Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. ed. / Iliano Cervesato; Helmut Veith; Andrei Voronkov. Springer, 2008. p. 31-46 (Lecture Notes in Computer Science ; Vol. 5330).

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

TY - GEN

T1 - Justification-Based Local Search with Adaptive Noise Strategies

AU - Järvisalo, Matti

AU - Junttila, Tommi

AU - Niemelä, Ilkka

N1 - Conference code: 15

PY - 2008

Y1 - 2008

U2 - 10.1007/978-3-540-89439-1_3

DO - 10.1007/978-3-540-89439-1_3

M3 - Conference article in proceedings

SN - 978-3-540-89438-4

T3 - Lecture Notes in Computer Science

SP - 31

EP - 46

BT - Logic for Programming, Artificial Intelligence, and Reasoning

A2 - Cervesato, Iliano

A2 - Veith, Helmut

A2 - Voronkov, Andrei

PB - Springer

T2 - Logic for Programming, Artificial Intelligence and Reasoning

Y2 - 22 November 2008 through 27 November 2008

ER -

Järvisalo M, Junttila T , Niemelä I. Justification-Based Local Search with Adaptive Noise Strategies. In Cervesato I, Veith H, Voronkov A, editors, Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. Springer. 2008. p. 31-46. (Lecture Notes in Computer Science ). doi: 10.1007/978-3-540-89439-1_3