An open–ended finite domain constraint solver (0)

by M Carlsson, G Ottosson, B Carlson
Venue:In Proc. of Programming Languages: Implementations, Logics, and Programs, 1997. A. GOTLIEB