16 citations · 17 across the 3 of their papers we have counts for
Showing cs.CCShow all
2 papers · 1 filter
cs.CC2017
Proof Complexity Meets Algebra
Albert Atserias, Joanna Ochremiak
We analyse how the standard reductions between constraint satisfaction problems affect their proof complexity. We show that, for the most studied propositional, algebraic, and semi…
cs.CC2014★ 16 cited
Algebraic Properties of Valued Constraint Satisfaction Problem
Marcin Kozik, Joanna Ochremiak
The paper presents an algebraic framework for optimization problems expressible as Valued Constraint Satisfaction Problems. Our results generalize the algebraic framework for the d…