![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
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
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
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. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
CONSTRAINT-BASED TIMETABLING A CASE STUDY
Applied Artificial Intelligence, Vol. 10, Iss. 5, 1996-09 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
A CONSTRAINT-BASED FRAMEWORK FOR DIAGRAMMATIC REASONING
By Meyer Bernd
Applied Artificial Intelligence, Vol. 14, Iss. 4, 2000-04 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
A constraint-based region inference algorithm
By Birkedal
Theoretical Computer Science, Vol. 258, Iss. 1, 2001-05 ,pp. :