Znaleziono 3 projektów spełniających kryteria wyszukiwania:
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 Michał Wrona
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 18 , panel: ST1
Kierownik: prof. Tomasz Szemberg
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie