Projects search

• Keywords: satisfiability ×

Change search criteria ↓

Search results

9 projects found matching your search criteria:

1. 1. The principle of satisfying the living and social needs of the employee in the company's sources of law with respect to …

   Principal investigator: dr hab. Krzysztof Walczak

   Uniwersytet Warszawski, Wydział Zarządzania

   Call: OPUS 13, Panel: HS5

2. 2. Social housing and and its role in satisfying housing needs of indigent households.

   Principal investigator: dr Zuzanna Rataj

   Uniwersytet Ekonomiczny w Poznaniu, Wydział Ekonomii

   Call: PRELUDIUM 7, Panel: HS4

3. 3. Research on properties of alliances and secure sets seen as a subset of vertices which satisfies a certain conditions.

   Principal investigator: Katarzyna Jesse-Józefczyk

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

   Call: PRELUDIUM 1, Panel: ST6

4. 4. From expressive description logics to mulit-variable fragments of first-order logic: resoning in finite structures

   Principal investigator: dr hab. Emanuel Grzegorz Kieroński

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: OPUS 21, Panel: ST6

5. 5. Decision Problems for Logics with Weak Forms of Recursion

   Principal investigator: Bartosz Jan Bednarczyk

   Uniwersytet Wrocławski

   Call: PRELUDIUM 23, Panel: ST6

6. 6. Modular circuits - algorithms and lower bounds

   Principal investigator: Piotr Kawałek

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Call: PRELUDIUM 20, Panel: ST6

7. 7. Challenges to automated reasoning in decidable fragments of first-order logic: trees, orders and numerals

   Principal investigator: dr hab. Lidia Zofia Tendera

   Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

   Call: OPUS 16, Panel: ST6

8. 8. A quest for new computer logics

   Principal investigator: dr hab. Emanuel Grzegorz Kieroński

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: OPUS 11, Panel: ST6

9. 9. Automatic reasoning about specifications in simple logics - decidability and complexity issues

   Principal investigator: dr hab. Lidia Zofia Tendera

   Uniwersytet Opolski

   Call: OPUS 5, Panel: ST6