ZHANGand WANG. A CONSTRAINT SOLVER AND ITS APPLICATION TO PATH FEASIBILITY ANALYSIS. no. 02, World Scientific Pub Co Pte Lt, 2001, doi:10.1142/s0218194001000487.