An automated approach to generating efficient constraint solvers.

Dharini Balasubramaniam, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale

Browse the full ICSE paper archive.