Wyniki wyszukiwania

Słowa kluczowe: satisfiability

Zmień kryteria wyszukiwania ↓

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

1. Zasada zaspokajania bytowych i socjalnych potrzeb pracownika w zakładowych źródłach prawa pracy w odniesieniu do rodzici…

Kierownik: dr hab. Krzysztof Walczak

Uniwersytet Warszawski, Wydział Zarządzania

Konkurs: OPUS 13, panel: HS5
2. Społeczne budownictwo mieszkaniowe i jego rola w zaspokajaniu potrzeb mieszkaniowych niezamożnych gospodarstw domowych w…

Kierownik: dr Zuzanna Rataj

Uniwersytet Ekonomiczny w Poznaniu, Wydział Ekonomii

Konkurs: PRELUDIUM 7, panel: HS4
3. Badanie własności koalicji i zbiorów bezpiecznych w grafach rozumianych jako podzbiory wierzchołków spełniające określon…

Kierownik: Katarzyna Jesse-Józefczyk

Uniwersytet Zielonogórski, Wydział Matematyki, Informatyki i Ekonometrii

Konkurs: PRELUDIUM 1, panel: ST6
4. Od silnych logik deskrypcyjnych do fragmentów logiki pierwszego rzędu z wieloma zmiennymi: wnioskowania w strukturach sk…

Kierownik: dr hab. Emanuel Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 21, panel: ST6
5. Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji

Kierownik: Bartosz Jan Bednarczyk

Uniwersytet Wrocławski

Konkurs: PRELUDIUM 23, panel: ST6
6. Obwody modularne - algorytmy i ograniczenia dolne

Kierownik: Piotr Kawałek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: PRELUDIUM 20, panel: ST6
7. Wyzwania dla automatycznego wnioskowania w rozstrzygalnych fragmentach logiki pierwszego rzędu: drzewa, porządki i licze…

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

Konkurs: OPUS 16, panel: ST6
8. W poszukiwaniu nowych logik komputerowych

Kierownik: dr hab. Emanuel Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 11, panel: ST6
9. Automatyczne rozumowanie o specyfikacjach wyrażonych w prostych logikach - kwestie rozstrzygalności i złożoności

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

Konkurs: OPUS 5, panel: ST6

Wyszukiwarka projektów

Wyniki wyszukiwania