| 2026 | SAT | Conditional Autarkies: Hard Formulas Made Easy. | Ilario Bonacina, Maria Luisa Bonet, Antonina Kolokolova, Massimo Lauria |
| 2025 | SAT | Redundancy Rules for MaxSAT. | Ilario Bonacina, Maria Luisa Bonet, Sam Buss, Massimo Lauria |
| 2024 | IJCAI | Weighted, Circular and Semi-Algebraic Proofs (Abstract Reprint). | Ilario Bonacina, Maria Luisa Bonet, Jordi Levy |
| 2024 | SAT | MaxSAT Resolution with Inclusion Redundancy. | Ilario Bonacina, Maria Luisa Bonet, Massimo Lauria |
| 2023 | SAT | Polynomial Calculus for MaxSAT. | Ilario Bonacina, Maria Luisa Bonet, Jordi Levy |
| 2022 | LICS | On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems. | Ilario Bonacina, Maria Luisa Bonet |
| 2020 | SAT | Equivalence Between Systems Stronger Than Resolution. | Maria Luisa Bonet, Jordi Levy |
| 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 | ICALP | Short Proofs of the Kneser-Lovsz Coloring Principle. | James Aisenberg, Maria Luisa Bonet, Sam Buss, Adrian Craciun, Gabriel Istrate |
| 2014 | CADE | The Fractal Dimension of SAT Formulas. | Carlos Anstegui, Maria Luisa Bonet, Jess Girldez-Cru, Jordi Levy |
| 2013 | CP | Improving WPM2 for (Weighted) Partial MaxSAT. | Carlos Anstegui, Maria Luisa Bonet, Joel Gabs, Jordi Levy |
| 2013 | IJCAI | An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning (Extended Abstract). | Maria Luisa Bonet, Sam Buss |
| 2012 | CP | Improving SAT-Based Weighted MaxSAT Solvers. | Carlos Anstegui, Maria Luisa Bonet, Joel Gabs, Jordi Levy |
| 2012 | SAT | An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning. | Maria Luisa Bonet, Samuel R. Buss |
| 2010 | AAAI | A New Algorithm for Weighted Partial MaxSAT. | Carlos Anstegui, Maria Luisa Bonet, Jordi Levy |
| 2010 | SAT | On Solving MaxSAT Through SAT. | Carlos Anstegui, Maria Luisa Bonet, Jordi Levy |
| 2009 | CP | On the Structure of Industrial SAT Instances. | Carlos Anstegui, Maria Luisa Bonet, Jordi Levy |
| 2009 | IJCAI | Towards Industrial-Like Random SAT Instances. | Carlos Anstegui, Maria Luisa Bonet, Jordi Levy |
| 2009 | SAT | Solving (Weighted) Partial MaxSAT through Satisfiability Testing. | Carlos Anstegui, Maria Luisa Bonet, Jordi Levy |
| 2009 | SAT | Efficiently Calculating Evolutionary Tree Measures Using SAT. | Maria Luisa Bonet, Katherine St. John |
| 2008 | AAAI | Measuring the Hardness of SAT Instances. | Carlos Anstegui, Maria Luisa Bonet, Jordi Levy, Felip Many |
| 2007 | AAAI | Inference Rules for High-Order Consistency in Weighted CSP. | Carlos Anstegui, Maria Luisa Bonet, Jordi Levy, Felip Many |
| 2007 | IJCAI | The Logic Behind Weighted CSP. | Carlos Anstegui, Maria Luisa Bonet, Jordi Levy, Felip Many |
| 2007 | SAT | Mapping CSP into Many-Valued SAT. | Carlos Anstegui, Maria Luisa Bonet, Jordi Levy, Felip Many |
| 2006 | SAT | A Complete Calculus for Max-SAT. | Maria Luisa Bonet, Jordi Levy, Felip Many |
| 2002 | CSL | On the Automatizability of Resolution and Related Propositional Proof Systems. | Albert Atserias, Maria Luisa Bonet |
| 2001 | ICALP | Lower Bounds for the Weak Pigeonhole Principle Beyond Resolution. | Albert Atserias, Maria Luisa Bonet, Juan Luis Esteban |
| 1999 | FOCS | A Study of Proof Search Algorithms for Resolution and Polynomial Calculus. | Maria Luisa Bonet, Nicola Galesi |
| 1998 | FOCS | Exponential Separations between Restricted Resolution and Cutting Planes Proof Systems. | Maria Luisa Bonet, Juan Luis Esteban, Nicola Galesi, Jan Johannsen |
| 1998 | RECOMB | Better methods for solving parsimony and compatibility. | Maria Luisa Bonet, Mike A. Steel, Tandy J. Warnow, Shibu Yooseph |
| 1997 | CSL | Linear Lower Bounds and Simulations in Frege Systems with Substitutions. | Maria Luisa Bonet, Nicola Galesi |
| 1997 | FOCS | No Feasible Interpolation for TC0-Frege Proofs. | Maria Luisa Bonet, Toniann Pitassi, Ran Raz |
| 1996 | STOC | Constructing Evolutionary Trees in the Presence of Polymorphic Characters. | Maria Luisa Bonet, Cynthia A. Phillips, Tandy J. Warnow, Shibu Yooseph |
| 1995 | STOC | Lower bounds for cutting planes proofs with small coefficients. | Maria Luisa Bonet, Toniann Pitassi, Ran Raz |
| 1991 | LICS | On the Deduction Rule and the Number of Proof Lines | Maria Luisa Bonet, Samuel R. Buss |