Projekty finansowane przez NCN
Problemy Spełnialności Więzów: poza przypadek skończony
2021/03/Y/ST6/00171
Słowa kluczowe:
Problem Spełnialności Więzów struktury jednorodne klasy skończenie ograniczone nieskończony szablon redukt dychotomia złożoności obliczeniowej podejście algebraiczne
Deskryptory:
- ST6_004: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna, algorytmy kwantowe
Panel:
ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca:
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
woj.
Kierownik projektu (z jednostki realizującej):
Liczba wykonawców projektu:
Konkurs: WEAVE-UNISONO
Przyznana kwota: 1 721 816 PLN
Rozpoczęcie projektu: 2022-09-29
Zakończenie projektu: 2026-09-28
Planowany czas trwania projektu: 48 miesięcy (z wniosku)
Status projektu: Projekt w realizacji