An Open-Ended Finite Domain Constraint Solver (1997)

by Mats Carlsson, Greger Ottosson, Björn Carlson