This is an old revision of the document!
A PCRE internal error occured. This might be caused by a faulty plugin
====== Online Encyclopedia of Solvable and Unsolvable Constraints ====== [[encyc:top|Encyclopedia Top Level Page]] [[encyc:Local Theories]] (Edited by Swen Jacobs) [[encyc:Collections]] (Edited by Ruzica Piskac) [[encyc:Transition Systems]] (Edited by Thomas Wies and Radu Iosif) As an example, please see [[http://lara.epfl.ch/dokuwiki/encyc:intro|this stub]].