Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

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:

  • :

Panel:

ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne

Jednostka realizująca:

Uniwersytet Jagielloński

woj. małopolskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Marcin Kozik 

Liczba wykonawców projektu:

Konkurs: WEAVE-UNISONO - ogłoszony

Przyznana kwota: 1 721 816 PLN

Rozpoczęcie projektu:

Zakończenie projektu:

Planowany czas trwania projektu: (z wniosku)

Status projektu: Projekt w realizacji

Opis Projektu

Pobierz opis projektu w formacie .pdf

Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.