Showing 2020Show all
2 papers · 1 filter
cs.CC2020
Symmetric Promise Constraint Satisfaction Problems: Beyond the Boolean Case
Libor Barto, Diego Battistelli, Kevin M. Berg
The Promise Constraint Satisfaction Problem (PCSP) is a recently introduced vast generalization of the Constraint Satisfaction Problem (CSP). We investigate the computational compl…
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…