Constraint Satisfaction Problems: beyond the finite case
2021/03/Y/ST6/00171
Keywords
Descriptors
- ST6_004: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna, algorytmy kwantowe
Panel
ST6 – Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems
Host institution
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Principal investigator (from the host institution)
Call
- Amount awarded
- 1 721 816 PLN
- Project start date
- 2022-09-29
- Project end date
- 2027-09-28
- Project duration
- 48 months (the same as in the proposal)
- Project status
- Pending project