Asynchronous Multi-core Incremental SAT Solving.

Siert Wieringa, Keijo Heljanko

Browse the full TACAS paper archive.