%0 Journal Article %1 journals/eccc/BonacinaB21 %A Bonacina, Ilario %A Bonet, Maria Luisa %D 2021 %J Electron. Colloquium Comput. Complex. %K dblp %T On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems. %U http://dblp.uni-trier.de/db/journals/eccc/eccc28.html#BonacinaB21 %V TR21

@article{journals/eccc/BonacinaB21, added-at = {2022-09-27T00:00:00.000+0200}, author = {Bonacina, Ilario and Bonet, Maria Luisa}, biburl = {https://www.bibsonomy.org/bibtex/297edc841b32834db8ec4bbc9b45bc782/dblp}, ee = {https://eccc.weizmann.ac.il/report/2021/182}, interhash = {278262e4c3112aece63d2fe73647a1f4}, intrahash = {97edc841b32834db8ec4bbc9b45bc782}, journal = {Electron. Colloquium Comput. Complex.}, keywords = {dblp}, timestamp = {2024-04-08T20:11:05.000+0200}, title = {On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems.}, url = {http://dblp.uni-trier.de/db/journals/eccc/eccc28.html#BonacinaB21}, volume = {TR21}, year = 2021 }