Details:
Title  On linear constraints with uncertain coefficients (Extended Abstract)  Author(s)  Frank Seelisch  Type  Technical Report, Misc  Abstract  Introduction
Many engineering tasks can be reformulated as CSPs. There exist digital libraries that contain mathematical models for a great variety of physical components. In an electrics library those are models for Ohmic resistors, diodes, voltage sources, etc. These component models "know" their associated mathematical constraints, and when plugging them together (i.e. connecting them by wires, pipes, etc.), one obtains a mathematical description of the entire artifact modeled (see [MMT]). In practice, the generated constraint models happen to be very large, and consist of many di erent types of constraints, such as linear, nonlinear, finite domain, or even procedural constraints.
Usually, one has to consider alternative variants for single components (in design), or distinct behavioural modes of certain components (in diagnosis), which will introduce disjunctions and might produce many different CSP instances.  Length  6 
File 
 Language  English  Year  2001  Month  May  Edition  0  Translation 
No  Refereed 
No 
