Author Archives: Ulrich Berger

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.

Hideki Tsuiki visiting

Hideki Tsuiki from Kyoto University is visiting Swansea from 15 to 28 August 2016. He is an expert in Domain Theory, Effective Topology and Exact Real Number Computation. He is working with Ulrich Berger and the Munich Minlog group on the Extraction of infinity Gray code for real numbers.