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-07

Zakończenie projektu: 2015-06-06

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

Status projektu: Projekt rozliczony

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (5)
  • Teksty w publikacjach pokonferencyjnych (3)
  • Publikacje książkowe (1)
  1. Mal'tsev conditions, lack of absorption and solvability
    Autorzy:
    Libor Barto, Marcin Kozik, David Stanovsky
    Czasopismo:
    Algebra Universalis (rok: 2015, tom: brak, strony: brak), Wydawca: SPRINGER BASEL AG
    Status:
    Opublikowana
    Doi:
    10.1007/s00012-015-0327-2 - link do publikacji
  2. Robustly Solvable Constraint Satisfaction Problems
    Autorzy:
    Libor Barto, Marcin Kozik
    Czasopismo:
    SIAM Journal on Computing (rok: 2012, ), Wydawca: SIAM PUBLICATIONS
    Status:
    Przyjęta do publikacji
    Doi:
    brak - link do publikacji
  3. Characterizations of several Mal'tsev conditions
    Autorzy:
    Marcin Kozik, Andrey Krokhin, Matthew Valeriote i Ross Willard
    Czasopismo:
    Algebra Universalis (rok: 2015, tom: 73, strony: 205-224), Wydawca: SPRINGER BASEL AG
    Status:
    Opublikowana
    Doi:
    10.1007/s00012-015-0338-z - link do publikacji
  4. Constraint satisfaction problems solvable by local consistency methods
    Autorzy:
    Libor Barto, Marcin Kozik
    Czasopismo:
    Journal of the ACM (rok: 2014, tom: 61/1, strony: article no. 3), Wydawca: ASSOC COMPUTING MACHINERY
    Status:
    Opublikowana
    Doi:
    10.1145/2556646 - link do publikacji
  5. Deciding absorption in relational structures
    Autorzy:
    Libor Barto i Jakub Bulin
    Czasopismo:
    Algebra Universalis , Wydawca: Springer
    Status:
    Złożona
    Doi:
    brak - link do publikacji
  1. Algebraic properties of Valued Cosntraint Satisfaction Problem
    Autorzy:
    Marcin Kozik, Joanna Ochremiak
    Konferencja:
    The 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015) (rok: 2015, ), Wydawca: Springer-Verlag
    Data:
    konferencja 6-10.06.2015
    Status:
    Opublikowana
  2. Near Unanimity Constraints Have Bounded Pathwidth Duality
    Autorzy:
    Libor Barto, Marcin Kozik, Ross Willard
    Konferencja:
    Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on (rok: 2012, ), Wydawca: IEEE
    Data:
    konferencja 25-28 czerwiec
    Status:
    Opublikowana
    Doi:
    link do publikacji
  3. Weak consistency notions for all CSPs of bounded width
    Autorzy:
    Marcin Kozik
    Konferencja:
    The 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (rok: 2016, ), Wydawca: IEEE
    Data:
    konferencja 5-8.07.2016
    Status:
    Przyjęta do publikacji
  1. Absorption and directed Jónsson terms
    Autorzy:
    Alexandr Kazda, Marcin Kozik, Ralph Mckenzie, Matthew Moore
    Książka:
    Outstanding Constributions in Logic , Wydawca: Springer Verlag
    Status:
    Złożona

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy