Wyszukiwarka projektów

• Słowa kluczowe: constraint satisfaction problems ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 6 projektów spełniających kryteria wyszukiwania:

1. 1. Problemy spełniania więzów oraz kwantyfikowane problemy spełniania więzów w kontekście wnioskowania o zależnościach czas…

   Kierownik: dr Michał Wrona

   Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

   Konkurs: SONATA 1, panel: ST6

2. 2. 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

3. 3. 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

4. 4. DATALOG w Problemie Spełnialności Więzów

   Kierownik: dr hab. Marcin Andrzej Kozik

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Konkurs: OPUS 1, panel: ST6

5. 5. Niezmienniki numeryczne i strukturalne w algebrze, logice i problemach spełnialności więzów

   Kierownik: prof. Paweł Maria Idziak

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Konkurs: MAESTRO 6, panel: ST6

6. 6. Teoria algebraiczna dla CSP (złożoność obliczeniowa, aproksymacja i optymalizacja)

   Kierownik: dr hab. Marcin Andrzej Kozik

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Konkurs: OPUS 7, panel: ST6