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]

Authors

Stephen J. Westfold

This author has not been identified. Look up 'Stephen J. Westfold' in Google

Douglas R. Smith

This author has not been identified. Look up 'Douglas R. Smith' in Google