Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework.

Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon

Browse the full TACAS paper archive.