Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

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

2011/01/B/ST6/01006

Słowa kluczowe:

złożoność obliczeniowa złożoność deskryptywna Problem Spełnialności Więzów

Deskryptory:

  • ST6_7: Teoretyczne podstawy informatyki, w tym informatyka kwantowa
  • ST1_15: Matematyczne aspekty informatyki
  • ST6_2: Systemy baz danych

Panel:

ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne

Jednostka realizująca:

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

woj. małopolskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Marcin Kozik 

Liczba wykonawców projektu: 2

Konkurs: OPUS 1 - ogłoszony 2011-03-15

Przyznana kwota: 289 900 PLN

Rozpoczęcie projektu: 2011-12-01

Zakończenie projektu: 2015-06-06

Planowany czas trwania projektu: 42 miesięcy (z wniosku)

Status projektu: Projekt rozliczony