1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.LO2020
Sensitive instances of the Constraint Satisfaction Problem
Libor Barto, Marcin Kozik, Johnson Tan +1
We investigate the impact of modifying the constraining relations of a Constraint Satisfaction Problem (CSP) instance, with a fixed template, on the set of solutions of the instanc…
cs.CC2019
Dichotomy for symmetric Boolean PCSPs
Miron Ficak, Marcin Kozik, Miroslav Olsak +1
A PCSP is a combination of two CSPs defined by two similar templates; the computational question is to distinguish a YES instance of the first one from a NO instance of the second.…
math.RA2015★ 1 cited
Absorption and directed Jónsson terms
Alexandr Kazda, Marcin Kozik, Ralph McKenzie +1
We prove that every congruence distributive variety has directed Jónsson terms, and every congruence modular variety has directed Gumm terms. The directed terms we construct witnes…