On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems
| العنوان: | On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems |
|---|---|
| المؤلفون: | Ilario Bonacina, Maria Luisa Bonet |
| المصدر: | Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. |
| بيانات النشر: | ACM, 2022. |
| سنة النشر: | 2022 |
| DOI: | 10.1145/3531130.3533344 |
| URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_________::cf6ccf84d7b7ea871abef3b2cf55dbfb https://doi.org/10.1145/3531130.3533344 |
| رقم الانضمام: | edsair.doi...........cf6ccf84d7b7ea871abef3b2cf55dbfb |
| قاعدة البيانات: | OpenAIRE |
| DOI: | 10.1145/3531130.3533344 |
|---|