Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:dydaktyka:cp:start [2022/12/14 08:13] ligeza [Constraint Programming/Programowanie z ograniczeniami 2022 [PzO/CP]] |
pl:dydaktyka:cp:start [2024/01/08 11:15] (aktualna) ligeza [Constraint Programming/Programowanie z Ograniczeniami 2023/2024-winter [CP-CS/PzO-Inf]] |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| + | |||
| + | |||
| + | ====== Constraint Programming/Programowanie z Ograniczeniami 2023/2024-winter [CP-CS/PzO-Inf] ====== | ||
| + | | ||
| + | |||
| + | - **Introduction to Constraint Programming. Syllabus. Basic Examples. CP as Problem-Solving. Introduction to MiniZinc.** [3.10.2023-ISI;ali][2.10.2023-WIET; e-lerning; 16.10.2023] | ||
| + | - **Introduction to Constraint Programming. Backtracking Search. Deduction and Abduction. Constraint Propagation. Basic Problem-Solving in MiniZinc and Prolog**. [10.10.2023;ali][30.10.2023-WIET;ali] | ||
| + | - **Introduction to MiniZinc. Basic Examples. Constraint Satisfaction and Optimization with Constraints. Production Planning. SAT as CP.** [17.10.2023-ISI;ali][13.11.2023-WIET;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] | ||
| + | - **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] | ||
| + | - **Problem reduction and exploring problem structure. Algorithms: AC-3, GAC. Constraint Logic Programming: Prolog + CLP(FD). Picat. Logica.** [8.01.2024-WIET;ali] | ||
| + | | ||
| + | |||
| + | |||
| + | ---- | ||
| Linia 10: | Linia 27: | ||
| - **MiniZinc. Towards practical applications.** [5.12.2022] {{ :pl:dydaktyka:cp:examples-basic-5-12-2022.zip |Codes for the lecture}} | - **MiniZinc. Towards practical applications.** [5.12.2022] {{ :pl:dydaktyka:cp:examples-basic-5-12-2022.zip |Codes for the lecture}} | ||
| - <fc #008000>Constraint Programming. A Look at the Theoretical Foundations. Constraint Propagation and Efficiency Issues.</fc> [19.12.2022/10.01.2023] | - <fc #008000>Constraint Programming. A Look at the Theoretical Foundations. Constraint Propagation and Efficiency Issues.</fc> [19.12.2022/10.01.2023] | ||
| - | - [2.01.2023/24.01.2023] | + | - Constraint Logic Programming. Prolog. Picat. [<fc #ff00ff>2.01.2023-godziny rektorskie</fc>/24.01.2023] |
| ---- | ---- | ||
| + | Selected support: | ||
| + | * {{ :en:dydaktyka:krr:master-clp-est.pdf |Constraint Programming: Theoretical Foundations}} | ||
| + | * <fc #ff0000>**Support for Prolog:**</fc> [[pl:dydaktyka:pp:start|Lectures on Prolog [slides 2021/2022] + Sets of Examples + interesting links]] | ||
| + | * [[https://www.swi-prolog.org/man/clpfd.html|Prolog: clp(fd)]] | ||
| + | * [[http://www.picat-lang.org/|Picat]] | ||
| + | * [[https://artint.info/2e/html/ArtInt2e.Ch4.html|Reasoning with Constraints]] | ||
| + | * [[https://en.wikipedia.org/wiki/Local_consistency|Constraint Propagation Algorithms]] | ||
| + | * [[http://www.constraint.org/en/tools/|Constraint Programming Tools]] | ||
| ===== Programowanie z ograniczeniami 2021 ===== | ===== Programowanie z ograniczeniami 2021 ===== | ||
