D-Painless: A Framework for Distributed Portfolio SAT Solving.

Mazigh Saoudi, Souheib Baarir, Julien Sopena, Thibault Lejemble

Browse the full TACAS paper archive.