Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 6 projektów spełniających kryteria wyszukiwania:
-
Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji
Konkurs: PRELUDIUM 23 , panel: ST6
Kierownik: Bartosz Bednarczyk
Uniwersytet Wrocławski
-
Problemy Spełnialności Więzów: poza przypadek skończony
Konkurs: WEAVE-UNISONO , panel: ST6
Kierownik: dr hab. Marcin Kozik
Uniwersytet Jagielloński
-
Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów
Konkurs: OPUS 19 , panel: ST6
Kierownik: dr hab. Michał Maria Wrona
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
-
Niezmienniki numeryczne i strukturalne w algebrze, logice i problemach spełnialności więzów
Konkurs: MAESTRO 6 , panel: ST6
Kierownik: prof. Paweł Idziak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
-
Teoria algebraiczna dla CSP (złożoność obliczeniowa, aproksymacja i optymalizacja)
Konkurs: OPUS 7 , panel: ST6
Kierownik: dr hab. Marcin Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
-
DATALOG w Problemie Spełnialności Więzów
Konkurs: OPUS 1 , panel: ST6
Kierownik: dr hab. Marcin Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki