Zhang, J. and Wang, X. (2001) A Constraint Solver and Its Application to Path Feasibility Analysis. International Journal of Software Engineering & Knowledge Engineering, 11, 139-156. http://dx.doi.org/10.1142/S0218194001000487
has been cited by the following article:
Related Articles: