Asynchronous Multi-core Incremental SAT Solving

Siert Wieringa; Keijo Heljanko

Asynchronous Multi-core Incremental SAT Solving

Siert Wieringa, Keijo Heljanko

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	19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), March 16-24, Rome, Italy
Publisher	Springer
Pages	139-153
ISBN (Print)	978-3-642-36741-0
Publication status	Published - 2013
MoE publication type	A4 Conference publication

Cite this

@inproceedings{e967579dddc14fd5a0ca77956389f38f,

title = "Asynchronous Multi-core Incremental SAT Solving",

author = "Siert Wieringa and Keijo Heljanko",

note = "VK: dc hiit",

year = "2013",

language = "English",

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

pages = "139--153",

booktitle = "19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), March 16-24, Rome, Italy",

publisher = "Springer",

address = "Germany",

}

Asynchronous Multi-core Incremental SAT Solving. / Wieringa, Siert; Heljanko, Keijo.
19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), March 16-24, Rome, Italy. Springer, 2013. p. 139-153.

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

TY - GEN

T1 - Asynchronous Multi-core Incremental SAT Solving

AU - Wieringa, Siert

AU - Heljanko, Keijo

N1 - VK: dc hiit

PY - 2013

Y1 - 2013

M3 - Conference article in proceedings

SN - 978-3-642-36741-0

SP - 139

EP - 153

BT - 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), March 16-24, Rome, Italy

PB - Springer

ER -