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