Publisher： Cambridge University Press
E-ISSN： 1469-1760|29|1|1-18
ISSN： 0890-0604
Source： AI EDAM, Vol.29, Iss.1, 2014-04, pp. : 1-18
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Software-engineering challenges of building and deploying reusable problem solvers
AI EDAM, Vol. 23, Iss. 4, 2009-11 ,pp. :
Access to resources
Recommend
Applying design-dependent knowledge in structural engineering design
AI EDAM, Vol. 3, Iss. 2, 1989-05 ,pp. :
Constraint solving for finite model finding in SMT solvers
Theory and Practice of Logic Programming, Vol. 17, Iss. 4, 2017-07 ,pp. :
Constraint mechanisms for knowledge acquisition from computer-aided design data
AI EDAM, Vol. 7, Iss. 3, 1993-08 ,pp. :