Asynchronous Multi-Core Incremental SAT Solving

Reference:

Siert Wieringa and Keijo Heljanko. Asynchronous multi-core incremental sat solving. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), to appear.

Suggested BibTeX entry:

@inproceedings{TACAS2013,
    author = {Siert Wieringa and Keijo Heljanko},
    booktitle = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
    language = {eng},
    title = {Asynchronous Multi-Core Incremental SAT Solving},
    year = {to appear},
}