Přeskočit na horní lištu
Přeskočit na hlavičku
Přeskočit na obsah
Přeskočit na patičku
EN
>
PA163 Constraint programming
Interaktivní osnova
PA163 Constraint programming
OBSAH
PA163 Constraint programming
Nyní studovat
Slides from the lectures and seminars in one file
Nyní studovat
Lectures
•
Base terminology, examples, complexity
•
Graph representation. Arc consistency
•
Path consistency, k-consistency
•
Directional consistency, graph width, and polynomial CSPs. Generalized arc consistency and bound consistency
•
Global constraints.
•
Generalized consistency algorithm. Combining search and propagation.
•
Look back. Incomplete tree search.
•
Local search.
•
Optimization and soft constraints: models.
•
Optimization and soft constraints: algorithms. Comparison of search algorithms.
•
Revision lesson.
Nyní studovat
Seminars
•
Introduction to OPL
•
Global constraints
•
Modeling
•
Scheduling I
•
Scheduling II
•
Search
Prohlédnout vše
Lectures
Base terminology, examples, complexity
Přejít
Graph representation. Arc consistency
Přejít
Path consistency, k-consistency
Přejít
Directional consistency, graph width, and polynomial CSPs. Generalized arc consistency and bound consistency
Přejít
Global constraints.
Přejít
30.10. 2023 Homework I: deadline 12.11.2023
Generalized consistency algorithm. Combining search and propagation.
Přejít
Look back. Incomplete tree search.
Přejít
Local search.
Přejít
20.11.2023 Homework II: deadline 3.12.2023
Optimization and soft constraints: models.
Přejít
Optimization and soft constraints: algorithms. Comparison of search algorithms.
Přejít
Revision lesson.
Přejít
Předchozí
Následující
PA163 Constraint programming
Nyní studovat
Slides from the lectures and seminars in one file
Nyní studovat
Lectures
•
Base terminology, examples, complexity
•
Graph representation. Arc consistency
•
Path consistency, k-consistency
•
Directional consistency, graph width, and polynomial CSPs. Generalized arc consistency and bound consistency
•
Global constraints.
•
Generalized consistency algorithm. Combining search and propagation.
•
Look back. Incomplete tree search.
•
Local search.
•
Optimization and soft constraints: models.
•
Optimization and soft constraints: algorithms. Comparison of search algorithms.
•
Revision lesson.
Nyní studovat
Seminars
•
Introduction to OPL
•
Global constraints
•
Modeling
•
Scheduling I
•
Scheduling II
•
Search
Operace
Prohlédnout vše