Cited By
View all- Göös MHollender AJain SMaystre GPires WRobere RTao R(2024)Separations in Proof Complexity and TFNPJournal of the ACM10.1145/366375871:4(1-45)Online publication date: 9-May-2024
- Bonacina IBonet M(2024)Strength and limitations of Sherali-Adams and Nullstellensatz proof systemsAnnals of Pure and Applied Logic10.1016/j.apal.2024.103538(103538)Online publication date: Nov-2024