On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems (Q6649455)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems |
scientific article; zbMATH DE number 7954840
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems |
scientific article; zbMATH DE number 7954840 |
Statements
On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems (English)
0 references
6 December 2024
0 references
Nullstellensatz
0 references
pigeonhole principle
0 references
Sherali-Adams
0 references
bounded-depth Frege
0 references
0 references
0 references
0 references
