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.
The Theory Group is part of a new 4 year EU HORIZON 2020 research project called Computing with Infinite data (CID). It involves partners from all continents of the world.
The 23rd International Workshop on Algebraic Development Techniques (WADT 2016) took take place in Gregynog, Wales, from 21st to 24th September, 2016. The workshop was organised by Markus Roggenbach and Phil James.