Eero Hyvönen
-
Synthesis of efficient constraint-satisfaction programs
The Knowledge Engineering Review