Kooperácia constraint solverov
(Zadanie bakalárskej práce, naspäť na zoznam bakalárskych prác)
Kompilačno-implementačná práca
Cieľom je navrhnúť deklaratívny jazyk, ktorý by umožňoval spoluprácu konkurentných constraint solverov. Dôraz je na návrhu kooperačného jazyka a jeho prototypovej implemántacii.