David Broman, Kaj Nyström, Peter Fritzson. Determining over- and under-constrained systems of equations using structural constraint delta. In Stan Jarzabek, Douglas C. Schmidt, Todd L. Veldhuizen, editors, Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings. pages 151-160, ACM, 2006. [doi]
Abstract is missing.