Marijn J. H. Heule, Oliver Kullmann, Armin Biere. Cube-and-Conquer for Satisfiability. In Youssef Hamadi, Lakhdar Sais, editors, Handbook of Parallel Constraint Reasoning. pages 31-59, Springer, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.