next up previous
Next: Background: assumption based truth Up: Compositional Model Repositories via Previous: Solving aDPCSPs

Compositional Model Repositories

The aDPCSPs discussed in the previous section provide the foundation for the development of the compositional model repositories. This section specifies the problem that a compositional model repository is built to solve and shows how it can be translated into an aDPCSP, and hence be resolved using the proposed aDPCSP solution algorithm.


Jeroen Keppens 2004-03-01