Articles under category:
Formulas
 Vol 15, Article 17 (pp 1-20) Separation of AC$^0[\oplus]$ Formulas and Circuits
 Vol 10, Article 18 (pp 465-514) On Reconstruction and Testing of Read-Once Formulas by Amir Shpilka and Ilya Volkovich
 Vol 5, Article 5 (pp 119-123) [NOTE] Discrete-Query Quantum Algorithm for NAND Trees
 Vol 3, Article 3 (pp 45-60) On the Hardness of Satisfiability with Bounded Occurrences in the Polynomial-Time Hierarchy by Ishay Haviv, Oded Regev, and Amnon Ta-Shma
 Vol 3, Article 2 (pp 25-43) Easily refutable subformulas of large random 3CNF formulas by Uriel Feige and Eran Ofek
 Vol 2, Article 8 (pp 147-172) On Learning Random DNF Formulas Under the Uniform Distribution
 Vol 2, Article 6 (pp 121-135) Separation of Multilinear Circuit and Formula Size by Ran Raz
 Vol 2, Article 4 (pp 65-90) Rank Bounds and Integrality Gaps for Cutting Planes Procedures