Constraint-Based Methods for Automated Computational Design Synthesis of Solution Spaces. - Clemens Münzer (2015)