Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja | |||
|
pl:dydaktyka:cp:start [2023/12/11 11:39] ligeza [Constraint Programming/Programowanie z Ograniczeniami 2023/2024-winter [CP-CS/PzO-Inf]] |
pl:dydaktyka:cp:start [2024/01/08 11:15] (aktualna) ligeza [Constraint Programming/Programowanie z Ograniczeniami 2023/2024-winter [CP-CS/PzO-Inf]] |
||
|---|---|---|---|
| Linia 11: | Linia 11: | ||
| - **MiniZinc. More Complex Examples. Data Structures. Functions and Predicates. Info on Projects!** [7.11.2023-ISI;ali] [27.11.2023-WIET;mslaz] | - **MiniZinc. More Complex Examples. Data Structures. Functions and Predicates. Info on Projects!** [7.11.2023-ISI;ali] [27.11.2023-WIET;mslaz] | ||
| - **Some Theory: Constraint Propagation Algorithms. Forward Checking. Arc Consistency.** [14.11.2023-ISI;ali] [11.12.2023-WIET;ali] | - **Some Theory: Constraint Propagation Algorithms. Forward Checking. Arc Consistency.** [14.11.2023-ISI;ali] [11.12.2023-WIET;ali] | ||
| - | - Advanced MiniZinc modeling. Constraint Logic Programming: Prolog + CLP(FD). Picat. Logica. [8.01.2024-WIET;ali] | + | - **Problem reduction and exploring problem structure. Algorithms: AC-3, GAC. Constraint Logic Programming: Prolog + CLP(FD). Picat. Logica.** [8.01.2024-WIET;ali] |
| | | ||
