Incorporating Clause Learning in Grid-Based Randomized SAT Solving

Research output: Contribution to journalArticle

Standard

Incorporating Clause Learning in Grid-Based Randomized SAT Solving. / Hyvärinen, Antti E.J.; Junttila, Tommi; Niemelä, Ilkka.

In: Journal of Satisfiability, Boolean Modeling and Computation, Vol. 6, 2009, p. 223-244.

Research output: Contribution to journalArticle

Harvard

APA

Vancouver

Author

Bibtex - Download

@article{46dfc91c33364aeab5a9419656a73139,
title = "Incorporating Clause Learning in Grid-Based Randomized SAT Solving",
author = "Hyv{\"a}rinen, {Antti E.J.} and Tommi Junttila and Ilkka Niemel{\"a}",
year = "2009",
language = "English",
volume = "6",
pages = "223--244",
journal = "Journal of Satisfiability, Boolean Modeling and Computation",
issn = "1875-5011",
publisher = "IOS PRESS",

}

RIS - Download

TY - JOUR

T1 - Incorporating Clause Learning in Grid-Based Randomized SAT Solving

AU - Hyvärinen, Antti E.J.

AU - Junttila, Tommi

AU - Niemelä, Ilkka

PY - 2009

Y1 - 2009

M3 - Article

VL - 6

SP - 223

EP - 244

JO - Journal of Satisfiability, Boolean Modeling and Computation

JF - Journal of Satisfiability, Boolean Modeling and Computation

SN - 1875-5011

ER -

ID: 3582349