16 citations · 17 across the 3 of their papers we have counts for
1 paper · 1 filter
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…