Strength and limitations of Sherali-Adams and Nullstellensatz proof systems | Publicación