Grid-Based SAT Solving with Iterative Partitioning and Clause Learning

Antti E.J. Hyvärinen; Tommi Junttila; Ilkka Niemelä

doi:10.1007/978-3-642-23786-7_30

Grid-Based SAT Solving with Iterative Partitioning and Clause Learning

Antti E.J. Hyvärinen, Tommi Junttila, Ilkka Niemelä

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

25 Citations (Scopus)

Original language	English
Title of host publication	17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011
Publisher	Springer
Pages	385-399
ISBN (Electronic)	978-3-642-23786-7
ISBN (Print)	978-3-642-23785-0
DOIs	https://doi.org/10.1007/978-3-642-23786-7_30
Publication status	Published - 2011
MoE publication type	A4 Conference publication

Publication series

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

Access to Document

10.1007/978-3-642-23786-7_30

Cite this

@inproceedings{b94d90c5823a4029b8cf0a11636f0ed5,

title = "Grid-Based SAT Solving with Iterative Partitioning and Clause Learning",

author = "Hyv{\"a}rinen, {Antti E.J.} and Tommi Junttila and Ilkka Niemel{\"a}",

note = "VK: mcm hiit",

year = "2011",

doi = "10.1007/978-3-642-23786-7_30",

language = "English",

isbn = "978-3-642-23785-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "385--399",

booktitle = "17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011",

address = "Germany",

}

Grid-Based SAT Solving with Iterative Partitioning and Clause Learning. / Hyvärinen, Antti E.J.; Junttila, Tommi ; Niemelä, Ilkka.
17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Springer, 2011. p. 385-399 (Lecture Notes in Computer Science; Vol. 6876).

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

TY - GEN

T1 - Grid-Based SAT Solving with Iterative Partitioning and Clause Learning

AU - Hyvärinen, Antti E.J.

AU - Junttila, Tommi

AU - Niemelä, Ilkka

N1 - VK: mcm hiit

PY - 2011

Y1 - 2011

UR - http://link.springer.com/chapter/10.1007/978-3-642-23786-7_30

U2 - 10.1007/978-3-642-23786-7_30

DO - 10.1007/978-3-642-23786-7_30

M3 - Conference article in proceedings

SN - 978-3-642-23785-0

T3 - Lecture Notes in Computer Science

SP - 385

EP - 399

BT - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011

PB - Springer

ER -

Grid-Based SAT Solving with Iterative Partitioning and Clause Learning

Publication series

Access to Document

Other files and links

Cite this