Constraint-based model synthesis

Paul Merrell, Dinesh Manocha. Constraint-based model synthesis. In Willem F. Bronsvoort, Daniel Gonsor, William C. Regli, Thomas A. Grandine, Jan H. Vandenbrande, Jens Gravesen, John Keyser, editors, Proceedings of the 2009 ACM Symposium on Solid and Physical Modeling, San Francisco, California, USA, October 5-8, 2009. pages 101-111, ACM, 2009. [doi]

Abstract

Abstract is missing.