Author： Delzanno Giorgio
Publisher： Springer Publishing Company
ISSN： 0925-9856
Source： Formal Methods in System Design, Vol.23, Iss.3, 2003-11, pp. : 257-301
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
Detecting Anomalies in Constraint-based Systems
By Flannery L.M. Gonzalez A.J.
Engineering Applications of Artificial Intelligence, Vol. 10, Iss. 3, 1997-06 ,pp. :
Access to resources
Recommend
CONSTRAINT-BASED TIMETABLING A CASE STUDY
Applied Artificial Intelligence, Vol. 10, Iss. 5, 1996-09 ,pp. :
A CONSTRAINT-BASED FRAMEWORK FOR DIAGRAMMATIC REASONING
By Meyer Bernd
Applied Artificial Intelligence, Vol. 14, Iss. 4, 2000-04 ,pp. :
A constraint-based region inference algorithm
By Birkedal
Theoretical Computer Science, Vol. 258, Iss. 1, 2001-05 ,pp. :