Asynchronous Multi-core Incremental SAT Solving

Siert Wieringa; Keijo Heljanko

Asynchronous Multi-core Incremental SAT Solving

Siert Wieringa, Keijo Heljanko

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

6 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), March 16-24, Rome, Italy
Kustantaja	Springer
Sivut	139-153
ISBN (painettu)	978-3-642-36741-0
Tila	Julkaistu - 2013
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Siteeraa tätä

@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. s. 139-153.

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

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 -