Projekty finansowane przez NCN


Dane kierownika projektu i jednostki wnioskują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, m.in.:

Jednostka wnioskująca:

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

woj. małopolskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki wnioskującej):

dr hab. Marcin Andrzej Kozik 

Kraj pochodzenia: Polska

Liczba wykonawców projektu: 2

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

Przyznana kwota: 289 900 PLN

Rozpoczęcie projektu: 2011-12-07

Czas trwania projektu: 36 miesięcy

Status projektu: Projekt rozliczony

Dane z raportu końcowego

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