An automated approach to generating efficient constraint solvers

Dharini Balasubramaniam, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale. An automated approach to generating efficient constraint solvers. In Martin Glinz, Gail C. Murphy, Mauro Pezzè, editors, 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland. pages 661-671, IEEE, 2012. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.