Kullmann, O., Heule, M. J. H., & Biere, A. (2018). Cube-and-Conquer for Satisfiability. Handbook of Parallel Constraint Reasoning, pp. 31-59. doi:10.1007/978-3-319-63516-3_2
Chicago Style CitationKullmann, Oliver, Marijn J. H. Heule, and Armin Biere. "Cube-and-Conquer for Satisfiability." Handbook of Parallel Constraint Reasoning 2018: 31-59.
MLA CitationKullmann, Oliver, Marijn J. H. Heule, and Armin Biere. "Cube-and-Conquer for Satisfiability." Handbook of Parallel Constraint Reasoning 2018: 31-59.
Warning: These citations may not always be 100% accurate.