Control-Based Clause Sharing in Parallel SAT Solving

Youssef Hamadi, Saïd Jabbour, Jabbour Sais. Control-Based Clause Sharing in Parallel SAT Solving. In Youssef Hamadi, Eric Monfroy, Frédéric Saubion, editors, Autonomous Search. pages 245-267, Springer, 2012. [doi]

Abstract

Abstract is missing.