Jian Zhang Xiaoxu Wang A Constraint Solver and Its Application to Path Feasibility Analysis. 139-156 2001 11 International Journal of Software Engineering and Knowledge Engineering 2 db/journals/ijseke/ijseke11.html#ZhangW01