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]
No references recorded for this publication.
No citations of this publication recorded.