activity
20062026
most citedOn the Scope of the Universal-Algebraic Approach to Constraint Satisfaction

20 citations · 75 across the 44 of their papers we have counts for

collaborators
Showing 2019 · cs.LOShow all

1 paper · 2 filters

cs.LO2019

Sherali-Adams and the binary encoding of combinatorial principles

Stefan Dantchev, Abdul Ghani, Barnaby Martin

We consider the Sherali-Adams (SA) refutation system together with the unusual binary encoding of certain combinatorial principles. For the unary encoding of the Pigeonhole Princip…