David Broman, Kaj Nyström, Peter Fritzson
Determining over- and under-constrained systems of equations using structural constraint delta
GPCE, 2006.
@inproceedings{GPCE-2006-BromanNF,
author = "David Broman and Kaj Nyström and Peter Fritzson",
booktitle = "{Proceedings of the Fifth International Conference on Generative Programming and Component Engineering}",
doi = "10.1145/1173706.1173729",
isbn = "1-59593-237-2",
pages = "151--160",
publisher = "{ACM}",
title = "{Determining over- and under-constrained systems of equations using structural constraint delta}",
year = 2006,
}