Justification-Based Non-Clausal Local Search for SAT

Matti Järvisalo; Tommi Junttila; Ilkka Niemelä

doi:10.3233/978-1-58603-891-5-535

Justification-Based Non-Clausal Local Search for SAT

Matti Järvisalo, Tommi Junttila, Ilkka Niemelä

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

Alkuperäiskieli	Englanti
Otsikko	ECAI 2008
Alaotsikko	18th European Conference on Artificial Intelligence (ECAI 2008), Patras, Greece, 21.-25.7.2008
Toimittajat	Malik Ghallab, Constantine D. Spyropoulos, Nikos Fanotakis, Nikos Avoukis
Kustantaja	IOS Press
Sivut	535-539
ISBN (elektroninen)	978-1-60750-355-2
ISBN (painettu)	978-1-58603-891-5
DOI - pysyväislinkit	https://doi.org/10.3233/978-1-58603-891-5-535
Tila	Julkaistu - 2008
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa
Tapahtuma	European Conference on Artificial Intelligence - Patras, Kreikka Kesto: 21 heinäk. 2008 → 25 heinäk. 2008 Konferenssinumero: 18

Julkaisusarja

Nimi	Frontiers in Artificial Intelligence and Applications
Kustantaja	IOS Press
Vuosikerta	178

Conference

Conference	European Conference on Artificial Intelligence
Lyhennettä	ECAI
Maa/Alue	Kreikka
Kaupunki	Patras
Ajanjakso	21/07/2008 → 25/07/2008

Tutkimusalat

Boolean circuits
non-clausal formulas
problem structure
propositional satisfiability
stochastic local search

Pääsy asiakirjaan

10.3233/978-1-58603-891-5-535

Siteeraa tätä

Järvisalo, M., Junttila, T., & Niemelä, I. (2008). Justification-Based Non-Clausal Local Search for SAT. teoksessa M. Ghallab, C. D. Spyropoulos, N. Fanotakis, & N. Avoukis (Toimittajat), ECAI 2008: 18th European Conference on Artificial Intelligence (ECAI 2008), Patras, Greece, 21.-25.7.2008 (Sivut 535-539). (Frontiers in Artificial Intelligence and Applications; Vuosikerta 178). IOS Press. https://doi.org/10.3233/978-1-58603-891-5-535

Järvisalo, Matti ; Junttila, Tommi ; Niemelä, Ilkka. / Justification-Based Non-Clausal Local Search for SAT. ECAI 2008: 18th European Conference on Artificial Intelligence (ECAI 2008), Patras, Greece, 21.-25.7.2008. Toimittaja / Malik Ghallab ; Constantine D. Spyropoulos ; Nikos Fanotakis ; Nikos Avoukis. IOS Press, 2008. Sivut 535-539 (Frontiers in Artificial Intelligence and Applications).

@inproceedings{aa24b937826247728d3eb5d9e6951082,

title = "Justification-Based Non-Clausal Local Search for SAT",

keywords = "Boolean circuits, non-clausal formulas, problem structure, propositional satisfiability, stochastic local search, Boolean circuits, non-clausal formulas, problem structure, propositional satisfiability, stochastic local search, Boolean circuits, non-clausal formulas, problem structure, propositional satisfiability, stochastic local search",

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

year = "2008",

doi = "10.3233/978-1-58603-891-5-535",

language = "English",

isbn = "978-1-58603-891-5",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press",

pages = "535--539",

editor = "Malik Ghallab and Spyropoulos, {Constantine D.} and Nikos Fanotakis and Nikos Avoukis",

booktitle = "ECAI 2008",

address = "Netherlands",

note = "European Conference on Artificial Intelligence, ECAI ; Conference date: 21-07-2008 Through 25-07-2008",

}

Järvisalo, M, Junttila, T & Niemelä, I 2008, Justification-Based Non-Clausal Local Search for SAT. julkaisussa M Ghallab, CD Spyropoulos, N Fanotakis & N Avoukis (toim), ECAI 2008: 18th European Conference on Artificial Intelligence (ECAI 2008), Patras, Greece, 21.-25.7.2008. Frontiers in Artificial Intelligence and Applications, Vuosikerta 178, IOS Press, Sivut 535-539, European Conference on Artificial Intelligence, Patras, Kreikka, 21/07/2008. https://doi.org/10.3233/978-1-58603-891-5-535

Justification-Based Non-Clausal Local Search for SAT. / Järvisalo, Matti; Junttila, Tommi ; Niemelä, Ilkka.
ECAI 2008: 18th European Conference on Artificial Intelligence (ECAI 2008), Patras, Greece, 21.-25.7.2008. toim. / Malik Ghallab; Constantine D. Spyropoulos; Nikos Fanotakis; Nikos Avoukis. IOS Press, 2008. s. 535-539 (Frontiers in Artificial Intelligence and Applications; Vuosikerta 178).

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

TY - GEN

T1 - Justification-Based Non-Clausal Local Search for SAT

AU - Järvisalo, Matti

AU - Junttila, Tommi

AU - Niemelä, Ilkka

N1 - Conference code: 18

PY - 2008

Y1 - 2008

KW - Boolean circuits

KW - non-clausal formulas

KW - problem structure

KW - propositional satisfiability

KW - stochastic local search

KW - Boolean circuits

KW - non-clausal formulas

KW - problem structure

KW - propositional satisfiability

KW - stochastic local search

KW - Boolean circuits

KW - non-clausal formulas

KW - problem structure

KW - propositional satisfiability

KW - stochastic local search

U2 - 10.3233/978-1-58603-891-5-535

DO - 10.3233/978-1-58603-891-5-535

M3 - Conference article in proceedings

SN - 978-1-58603-891-5

T3 - Frontiers in Artificial Intelligence and Applications

SP - 535

EP - 539

BT - ECAI 2008

A2 - Ghallab, Malik

A2 - Spyropoulos, Constantine D.

A2 - Fanotakis, Nikos

A2 - Avoukis, Nikos

PB - IOS Press

T2 - European Conference on Artificial Intelligence

Y2 - 21 July 2008 through 25 July 2008

ER -

Järvisalo M, Junttila T , Niemelä I. Justification-Based Non-Clausal Local Search for SAT. julkaisussa Ghallab M, Spyropoulos CD, Fanotakis N, Avoukis N, toimittajat, ECAI 2008: 18th European Conference on Artificial Intelligence (ECAI 2008), Patras, Greece, 21.-25.7.2008. IOS Press. 2008. s. 535-539. (Frontiers in Artificial Intelligence and Applications). doi: 10.3233/978-1-58603-891-5-535