Synthesizing constraint expressions

Freuder, E. C.

Classics 

See also: Communications of the ACM 21 (11):958-966