Programovanie s ohraniceniami
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Ciele kurzu: Uvod do problematiky programovania s ohraniceniami
             (Constraint Programming). Moznosti a limity tejto
             paradigmy a prakticke precvicenie niekolkych typickych
             problemov.

Predpoklady: Doporucuje sa kurz logickeho programovania.

Prednasatel: RNDr. Marian Vittek


Obsah Kurzu:

* Historia a zaklady riesenia ohraniceni.
* Propagacia zmien, hranova konzistencia, backtracking.
* Riesitelnost versus optimalizacia.
* Strategie prehladavania a vyberu pociatocnych hodnot.
* Heuristiky.
* Principy implementacie 'Constraint solverov'.
* Najbeznejsie datove struktury 'Constraint solverov'.
* Principy tvorby a optimalizacie modelov.


Literatura:

Marriott K. and Stuckey P.J.: Programming with Constraints, An Introduction.
The MIT Press, 1999.

Bartak: On-line Guide to Constraint Programming.