Kurs ma na celu przygotowanie studentów do rozwiązywania trudnych problemów optymalizacji kombinatorycznej przy pomocy nowoczesnych narzędzi obliczeniowych. Wśród dyskutowanych podejść są: (i) wyrażanie problemów w kategoriach spełnialności formuł logicznych (SAT); (ii) użycie dysjunkcyjnego programowania logicznego (AnsProlog); (iii) zastosowanie programowania liniowego. W rezultacie studenci będą poprawnie rozróżniać rodzaje problemów optymalizacyjnych oraz stosować dedykowane solvery w celu ich efektywnego rozwiązania.
- Nauczyciel: Skinderowicz Rafał