Handbook of Parallel Constraint Reasoning, 2018

Theory and Algorithms

Tools and Applications

maintained by Schloss Dagstuhl LZI, founded at University of Trier