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, Journal of the ACM vol. 61 (2014), article no. 3
Marcin Kozik, Andrei Krokhin, Matthew Valeriote, Ross Willard, Characterizations of several Maltsev conditions, Algebra Universalis vol. 73 (2015), 205-224
Libor Barto, Marcin Kozik, David Stanovský, Mal’tsev conditions, lack of absorption, and solvability, Algebra Universalis vol. 74 (2015), 185-206
Libor Barto, Marcin Kozik, Robustly Solvable Constraint Satisfaction Problems, SIAM Journal on Computing 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
Marcin Kozik, Joanna Ochremiak, Algebraic Properties of Valued Constraint Satisfaction Problem, Proceedings of 42nd International Colloquium, Icalp 2015 (2015), 846-858