On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems | Publicación