Mats Carlsson Greger Ottosson Björn Carlson An Open-Ended Finite Domain Constraint Solver. 191-206 1997 conf/plilp/1997 PLILP db/conf/plilp/plilp97.html#CarlssonOC97 http://dx.doi.org/10.1007/BFb0033845