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

Instytucja Finansująca / Przyznający: Narodowe Centrum Nauki

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

Kierownik: Marcin Kozik

Rozpoczęcie: 2011-12-07

Zakończenie: 2015-06-06

Uwagi: Opus 1


Uczestnicy

UczestnikRolaEdycja
Paweł Idziak Wykonawca
Publikacje
Libor Barto, Marcin Kozik, Ross Willard, Near unanimity constraints have bounded pathwidth duality, PROCEEDINGS OF THE 27TH IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE LICS'12 (2012), 125-134
Libor Barto, Marcin Kozik, Constraint Satisfaction Problems Solvable by Local Consistency Methods, J ACM vol. 61 (2014), article no. 3
Marcin Kozik, Andrei Krokhin, Matthew Valeriote, Ross Willard, Characterizations of several Maltsev conditions, ALGEBR UNIV vol. 73 (2015), 205-224
Libor Barto, Marcin Kozik, David Stanovský, Mal’tsev conditions, lack of absorption, and solvability, ALGEBR UNIV vol. 74 (2015), 185-206
Marcin Kozik, Joanna Ochremiak, Algebraic Properties of Valued Constraint Satisfaction Problem, PROCEEDINGS OF 42ND INTERNATIONAL COLLOQUIUM, ICALP 2015 (2015), 846-858
Libor Barto, Marcin Kozik, Robustly Solvable Constraint Satisfaction Problems, SIAM J COMPUT vol. 45(4) (2016), 1646–1669
Marcin Kozik, Weak consistency notions for all CSPs of bounded width, PROCEEDINGS OF THE 31ST ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS'16) (2016), 633-641