共 6 条
[1]
Benhamou F., Older W.J., Applying interval arithmetic to real, integer, and Boolean constraints, Journal of Logic Programming, 32, 1, pp. 1-24, (1997)
[2]
Gedig M.H., A framework for qualitative and semi-quantitative analysis in engineering design and evaluation [Dissertation], (1995)
[3]
Hickey T., Metalevel interval arithmetic and verifiable constraint solving, Journal of Functional and Logic Programming, 7, pp. 1-25, (2001)
[4]
Rossi F., Constraint (Logic) Programming: A Survey on Research and Applications, (2000)
[5]
Zhou Y., Engineering qualitative analysis and its application on fatigue design of steel structures [Dissertation], (2003)
[6]
Zhou Y., Stiemer S.F., Engineering analysis with uncertainties and complexities, using reasoning approaches, J. Comp. in Civ. Engrg., 21, 5, pp. 353-362, (2007)