Wyniki wyszukiwania
Znaleziono 2 projekty spełniających kryteria wyszukiwania:
-
1. Problemy Spełnialności Więzów: poza przypadek skończony
Kierownik: dr hab. Marcin Andrzej Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: WEAVE-UNISONO, panel: ST6
-
2. Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów
Kierownik: dr hab. Michał Maria Wrona
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 19, panel: ST6