Kullmann, O., Heule, M. J. H., & Marek, V. W. (2016). Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer. Theory and Applications of Satisfiability Testing – SAT 2016, 9710, pp. 228-245. doi:10.1007/978-3-319-40970-2_15
Chicago Style CitationKullmann, Oliver, Marijn J. H. Heule, and Victor W. Marek. "Solving and Verifying the Boolean Pythagorean Triples Problem Via Cube-and-Conquer." Theory and Applications of Satisfiability Testing – SAT 2016 9710 (2016): 228-245.
MLA CitationKullmann, Oliver, Marijn J. H. Heule, and Victor W. Marek. "Solving and Verifying the Boolean Pythagorean Triples Problem Via Cube-and-Conquer." Theory and Applications of Satisfiability Testing – SAT 2016 9710 (2016): 228-245.
Warning: These citations may not always be 100% accurate.