A partition-based optimization model and its performance benchmark for Generative Anatomy Modeling Language. (April 2020)