| 2025 | SAT | Redundancy Rules for MaxSAT. | Ilario Bonacina, Maria Luisa Bonet, Sam Buss, Massimo Lauria |
| 2023 | STOC | On the Consistency of Circuit Lower Bounds for Non-deterministic Time. | Albert Atserias, Sam Buss, Moritz Mller |
| 2020 | CSL | Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs. | Sam Buss, Anupam Das, Alexander Knop |
| 2019 | SODA | Strategies for Stable Merge Sorting. | Sam Buss, Alexander Knop |
| 2019 | SAT | DRAT Proofs, Propagation Redundancy, and Extended Resolution. | Sam Buss, Neil Thapen |
| 2019 | SAT | DRMaxSAT with MaxHS: First Contact. | Antnio Morgado, Alexey Ignatiev, Maria Luisa Bonet, Joo Marques-Silva, Sam Buss |
| 2018 | AAAI | MaxSAT Resolution With the Dual Rail Encoding. | Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, Joo Marques-Silva, Antnio Morgado |
| 2015 | CSR | Propositional Proofs in Frege and Extended Frege Systems (Abstract). | Sam Buss |
| 2015 | ICALP | Short Proofs of the Kneser-Lovsz Coloring Principle. | James Aisenberg, Maria Luisa Bonet, Sam Buss, Adrian Craciun, Gabriel Istrate |
| 2013 | IJCAI | An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning (Extended Abstract). | Maria Luisa Bonet, Sam Buss |
| 2013 | MFCS | Alternation Trading Proofs and Their Limitations. | Sam Buss |