Online Encyclopedia of Solvable and Unsolvable Constraints

Encyclopedia Top Level Page

Local Theories (Edited by Swen Jacobs)

Collections (Edited by Ruzica Piskac)

Transition Systems (Edited by Thomas Wies and Tomas Vojnar)

As an example, please see this stub.