1. A lower bound for polynomial calculus with extension rule;Alekseev,2021
2. Basic Abstract Algebra: For Graduate Students and Advanced Undergraduates;Ash,2006
3. On the automatizability of resolution and related propositional proof systems;Atserias;Inf. Comput.,2004
4. Sum of squares upper bounds, lower bounds, and open questions;Barak,2014
5. Hypercontractivity, sum-of-squares proofs, and their applications;Barak,2012