Category Archives: Break through result

Break through result

Photo of Oliver KullmannOliver Kullmann and his co-authors Marein 

Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek. Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer. In Nadia Creignou and Daniel Le Berre (Ed.), Theory and Applications of Satisfiability Testing – SAT 2016. (pp. 228-245). Springer.