Efficient constraint propagation engines (0)

by C Schulte, P J Stuckey
Venue:ACM Trans. Program. Lang. Syst