OrganizationThe COCOS2002 workshop was organized by the partners of the COCONUT project (IST-2000-26063) with financial support fiom the European Commission and the Swiss Federal Education and Science Office (OFES).
Many are the literature reviews where constraint satisfaction is rejected as a candidate solution for design automation. Some point to the combinatorial complexity associated with the solution of large constraint satisfaction problems, others claim it is inadequate to handle the uncertainty prominent in engineering design. In this paper we present a new approach in which hierarchical decomposition techniques exploit sensitivity to reduce combinatorial complexity and uncertainty is modeled using conservative enclosures of sets of possible solutions.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.