Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
encyclopedia [2010/04/09 14:37]
vkuncak
encyclopedia [2010/04/09 14:47] (current)
vkuncak
Line 1: Line 1:
 ====== Online Encyclopedia of Solvable and Unsolvable Constraints ====== ====== Online Encyclopedia of Solvable and Unsolvable Constraints ======
  
-For now, please see [[http://​lara.epfl.ch/​dokuwiki/​encyc:​intro|this ​old example]].+[[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 Tomas Vojnar) 
 + 
 +As an example, please see [[http://​lara.epfl.ch/​dokuwiki/​encyc:​intro|this ​stub]].