"Synthesis and Abstraction of Constraint Models for Hierarchical Resource ..."

Alexander Schiendorfer, Jan-Philipp Steghöfer, Wolfgang Reif (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics