Handbook of Parallel Constraint Reasoning, 2018

Theory and Algorithms

Tools and Applications

maintained by Schloss Dagstuhl LZI at University of Trier