On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems.

Ilario Bonacina, Maria Luisa Bonet

Browse the full LICS paper archive.