Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:dydaktyka:cp:start [2023/11/15 08:22] 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 9: | Linia 9: | ||
| - **<fc #ff00ff>E-Learning:</fc>** [[https://www.youtube.com/watch?v=EcL8zAMSbBo&t=984s|Intro to CP]] [[http://artint.info/3e/html/ArtInt3e.Ch4.html|Reasoning with Constraints]] [24.10.2023-ISI;selection by ali] | - **<fc #ff00ff>E-Learning:</fc>** [[https://www.youtube.com/watch?v=EcL8zAMSbBo&t=984s|Intro to CP]] [[http://artint.info/3e/html/ArtInt3e.Ch4.html|Reasoning with Constraints]] [24.10.2023-ISI;selection by ali] | ||
| - **<fc #ff00ff>E-Learning:</fc>** Let's learn from the best [[https://www.youtube.com/watch?v=lQi3b-sxt1s&list=PLcByDTr7vRTb9mLAQyO27-Q1JrWYVZHfy|MiniZinc by Peter Stuckey]] [31.10.2023-ISI;recommended by ali] | - **<fc #ff00ff>E-Learning:</fc>** Let's learn from the best [[https://www.youtube.com/watch?v=lQi3b-sxt1s&list=PLcByDTr7vRTb9mLAQyO27-Q1JrWYVZHfy|MiniZinc by Peter Stuckey]] [31.10.2023-ISI;recommended by ali] | ||
| - | - **MiniZinc. More Complex Examples. Data Structures. Functions and Predicates.** [7.11.2023-ISI;ali] [27.11.2023-WIET;ali] | + | - **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. Prolog: CLP(FD). Picat. Logica.** [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] |
| - | - ... [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] |
| | | ||
