Control-Based Clause Sharing in Parallel SAT Solving.

Youssef Hamadi, Sad Jabbour, Lakhdar Sais

Browse the full IJCAI paper archive.