Publisher: Cambridge University Press
E-ISSN: 1469-1760|10|1|1-19
ISSN: 0890-0604
Source: AI EDAM, Vol.10, Iss.1, 1996-01, pp. : 1-19
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
Spatial synthesis by disjunctive constraint satisfaction
AI EDAM, Vol. 11, Iss. 4, 1997-09 ,pp. :
Constraint solving for finite model finding in SMT solvers
Theory and Practice of Logic Programming, Vol. 17, Iss. 4, 2017-07 ,pp. :
Revisiting dynamic constraint satisfaction for model-based planning
Knowledge Engineering Review, Vol. 31, Iss. 5, 2016-12 ,pp. :