

Author: Verfaillie Gérard Jussien Narendra
Publisher: Springer Publishing Company
ISSN: 1383-7133
Source: Constraints, Vol.10, Iss.3, 2005-07, pp. : 253-281
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
This article follows a tutorial, given by the authors on
Related content








Constraint Solving for Proof Planning
Journal of Automated Reasoning, Vol. 33, Iss. 1, 2004-07 ,pp. :


Validated Constraint Solving—Practicalities, Pitfalls, and New Developments
By Kearfott R.
Reliable Computing, Vol. 11, Iss. 5, 2005-10 ,pp. :