Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence
DFKI DFKI Technical Memos (TM) 95-01 1995.
We give a sound calculus by which one can compute solutions to configuration problems if they exist and that allows one to recognize that a specification is inconsistent. In particular, the calculus can be used in order to check whether a given configuration satisfies the specification.