A constraint solver for model-based engineering

Jakob Mauss, Frank Seelisch, Mugur M. Tatar. A constraint solver for model-based engineering. AI Commun., 17(2):75-92, 2004. [doi]

Abstract

Abstract is missing.