[ Please note: The project has been discontinued as of May 31, 2005 and is superseded by the projects of the ii Labs. There won't be further updates to these pages. ]

(Related publications: [PUBLink] [PUBLink])

If a structural constraint becomes unsatisfied by a graph change, the global search control must ensure a correct graph structure before proceeding, as conventional constraints cannot handle inconsistent structures. Thus, the global search control always selects a structural constraint to improve the current state if there is an inconsistent structural constraint (see figure below).

For questions, comments or suggestions, please contact us.

Last update:
May 20, 2001 by Alexander Nareyek