Synthesis of efficient constraint-satisfaction programs

Stephen J. Westfold, Douglas R. Smith. Synthesis of efficient constraint-satisfaction programs. Knowledge Eng. Review, 16(1):69-84, 2001. [doi]

Bibliographies