Asynchronous Multi-core Incremental SAT Solving

Reference:

Siert Wieringa and Keijo Heljanko. Asynchronous multi-core incremental sat solving. In Nir Piterman and Scott A. Smolka, editors, Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013), volume 7795 of Lecture Notes in Computer Science, pages 139–153, 2013.

Suggested BibTeX entry:

@inproceedings{TACASWieHel13,
    author = {Siert Wieringa and Keijo Heljanko},
    booktitle = {Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013)},
    editor = {Nir Piterman and Scott A. Smolka},
    language = {eng},
    pages = {139-153},
    series = {Lecture Notes in Computer Science},
    title = {Asynchronous Multi-core Incremental SAT Solving},
    volume = {7795},
    year = {2013},
}