| 2025 | ICAART | Impact of Extended Clauses on Local Search Solvers for Max-SAT. | Federico Heras |
| 2013 | IJCAI | On Computing Minimal Correction Subsets. | Joo Marques-Silva, Federico Heras, Mikols Janota, Alessandro Previti, Anton Belov |
| 2013 | ICTAI | Model-Guided Approaches for MaxSAT Solving. | Antnio Morgado, Federico Heras, Joo Marques-Silva |
| 2012 | AI | An Empirical Study of Encodings for Group MaxSAT. | Federico Heras, Antnio Morgado, Joo Marques-Silva |
| 2012 | ICTAI | Iterative SAT Solving for Minimum Satisfiability. | Federico Heras, Antnio Morgado, Jordi Planes, Joo Marques-Silva |
| 2012 | SAT | Improvements to Core-Guided Binary Search for MaxSAT. | Antnio Morgado, Federico Heras, Joo Marques-Silva |
| 2011 | AAAI | Core-Guided Binary Search Algorithms for Maximum Satisfiability. | Federico Heras, Antnio Morgado, Joo Marques-Silva |
| 2011 | IJCAI | Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms. | Federico Heras, Joo Marques-Silva |
| 2010 | ICAART | New Research Lines for Max-SAT - Exploiting the Recent Resolution Rule for Max-Sat. | Federico Heras |
| 2008 | FlAIRS | On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization. | Federico Heras, Vasco Manquinho, Joo Marques-Silva |
| 2008 | SAT | A Max-SAT Inference-Based Pre-processing for Max-Clique. | Federico Heras, Javier Larrosa |
| 2007 | SAT | MiniMaxSat: A New Weighted Max-SAT Solver. | Federico Heras, Javier Larrosa, Albert Oliveras |
| 2006 | AAAI | New Inference Rules for Efficient Max-SAT Solving. | Federico Heras, Javier Larrosa |
| 2005 | CP | Local Consistency in Weighted CSPs and Inference in Max-SAT. | Federico Heras, Javier Larrosa |
| 2005 | IJCAI | Existential arc consistency: Getting closer to full arc consistency in weighted CSPs. | Simon de Givry, Federico Heras, Matthias Zytnicki, Javier Larrosa |
| 2005 | IJCAI | Resolution in Max-SAT and its relation to local consistency in weighted CSPs. | Javier Larrosa, Federico Heras |