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ä

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

Original language	English
Title of host publication	ECAI 2008
Subtitle of host publication	18th European Conference on Artificial Intelligence (ECAI 2008), Patras, Greece, 21.-25.7.2008
Editors	Malik Ghallab, Constantine D. Spyropoulos, Nikos Fanotakis, Nikos Avoukis
Publisher	IOS Press
Pages	535-539
ISBN (Electronic)	978-1-60750-355-2
ISBN (Print)	978-1-58603-891-5
DOIs	https://doi.org/10.3233/978-1-58603-891-5-535
Publication status	Published - 2008
MoE publication type	A4 Conference publication
Event	European Conference on Artificial Intelligence - Patras, Greece Duration: 21 Jul 2008 → 25 Jul 2008 Conference number: 18

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Publisher	IOS Press
Volume	178

Conference

Conference	European Conference on Artificial Intelligence
Abbreviated title	ECAI
Country/Territory	Greece
City	Patras
Period	21/07/2008 → 25/07/2008

Keywords

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

Access to Document

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

Cite this

Järvisalo, M., Junttila, T., & Niemelä, I. (2008). Justification-Based Non-Clausal Local Search for SAT. In M. Ghallab, C. D. Spyropoulos, N. Fanotakis, & N. Avoukis (Eds.), ECAI 2008: 18th European Conference on Artificial Intelligence (ECAI 2008), Patras, Greece, 21.-25.7.2008 (pp. 535-539). (Frontiers in Artificial Intelligence and Applications; Vol. 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. editor / Malik Ghallab ; Constantine D. Spyropoulos ; Nikos Fanotakis ; Nikos Avoukis. IOS Press, 2008. pp. 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. in M Ghallab, CD Spyropoulos, N Fanotakis & N Avoukis (eds), ECAI 2008: 18th European Conference on Artificial Intelligence (ECAI 2008), Patras, Greece, 21.-25.7.2008. Frontiers in Artificial Intelligence and Applications, vol. 178, IOS Press, pp. 535-539, European Conference on Artificial Intelligence, Patras, Greece, 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. ed. / Malik Ghallab; Constantine D. Spyropoulos; Nikos Fanotakis; Nikos Avoukis. IOS Press, 2008. p. 535-539 (Frontiers in Artificial Intelligence and Applications; Vol. 178).

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

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. In Ghallab M, Spyropoulos CD, Fanotakis N, Avoukis N, editors, ECAI 2008: 18th European Conference on Artificial Intelligence (ECAI 2008), Patras, Greece, 21.-25.7.2008. IOS Press. 2008. p. 535-539. (Frontiers in Artificial Intelligence and Applications). doi: 10.3233/978-1-58603-891-5-535