| 2025 | PRIMA | MiCRO for Multilateral Negotiations. | David Aguilera-Luzon, Dave de Jonge, Javier Larrosa |
| 2024 | AAAI | Theoretical and Empirical Analysis of Cost-Function Merging for Implicit Hitting Set WCSP Solving. | Javier Larrosa, Conrado Martnez, Emma Rollon |
| 2020 | AAAI | Augmenting the Power of (Partial) MaxSat Resolution with Extension. | Javier Larrosa, Emma Rollon |
| 2020 | SAT | Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems. | Javier Larrosa, Emma Rollon |
| 2016 | AAAI | Look-Ahead with Mini-Bucket Heuristics for MPE. | Rina Dechter, Kalev Kask, William Lam, Javier Larrosa |
| 2016 | ECAI | On the Impact of Subproblem Orderings on Anytime AND/OR Best-First Search for Lower Bounds. | William Lam, Kalev Kask, Rina Dechter, Javier Larrosa |
| 2016 | IJCAI | Limited Discrepancy AND/OR Search and Its Application to Optimization Tasks in Graphical Models. | Javier Larrosa, Emma Rollon, Rina Dechter |
| 2014 | CP | Decomposing Utility Functions in Bounded Max-Sum for Distributed Constraint Optimization. | Emma Rollon, Javier Larrosa |
| 2013 | IJCAI | Semiring-Based Mini-Bucket Partitioning Schemes. | Emma Rollon, Javier Larrosa, Rina Dechter |
| 2013 | SAC | Risk-neutral bounded max-sum for distributed constraint optimization. | Javier Larrosa, Emma Rollon |
| 2012 | CP | Improved Bounded Max-Sum for Distributed Constraint Optimization. | Emma Rollon, Javier Larrosa |
| 2011 | CP | On Mini-Buckets and the Min-fill Elimination Ordering. | Emma Rollon, Javier Larrosa |
| 2010 | LPAR | Semiring-Induced Propositional Logic: Definition and Basic Algorithms. | Javier Larrosa, Albert Oliveras, Enric Rodrguez-Carbonell |
| 2009 | SAT | Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates. | Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell |
| 2008 | ICLP | A Soft Approach to Multi-objective Optimization. | Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon |
| 2008 | SAT | A Max-SAT Inference-Based Pre-processing for Max-Clique. | Federico Heras, Javier Larrosa |
| 2007 | AAAI | Multi-Objective Russian Doll Search. | Emma Rollon, 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 |
| 2006 | CP | Mini-bucket Elimination with Bucket Propagation. | Emma Rollon, Javier Larrosa |
| 2006 | ECAI | Multi-Objective Propagation in Constraint Programming. | Emma Rollon, Javier Larrosa |
| 2005 | CP | Local Consistency in Weighted CSPs and Inference in Max-SAT. | Federico Heras, Javier Larrosa |
| 2005 | CP | Depth-First Mini-Bucket Elimination. | Emma Rollon, Javier Larrosa |
| 2005 | CP | Tree Decomposition with Function Filtering. | Mart Snchez-Fibla, Javier Larrosa, Pedro Meseguer |
| 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 |
| 2005 | IJCAI | Improving Tree Decomposition Methods With Function Filtering. | Mart Snchez-Fibla, Javier Larrosa, Pedro Meseguer |
| 2004 | CP | Improving the Applicability of Adaptive Consistency: Preliminary Results. | Mart Snchez-Fibla, Pedro Meseguer, Javier Larrosa |
| 2004 | ECAI | Using Constraints with Memory to Implement Variable Elimination. | Mart Snchez-Fibla, Pedro Meseguer, Javier Larrosa |
| 2003 | CP | Solving Max-SAT as Weighted CSP. | Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex |
| 2003 | CP | Solving 'Still Life' with Soft Constraints and Bucket Elimination. | Javier Larrosa, Enric Morancho |
| 2003 | IJCAI | In the quest of the best form of local consistency for Weighted CSP. | Javier Larrosa, Thomas Schiex |
| 2002 | AAAI | Node and Arc Consistency in Weighted CSP. | Javier Larrosa |
| 2002 | ECAI | Pseudo-tree Search with Soft Constraints. | Javier Larrosa, Pedro Meseguer, Mart Snchez-Fibla |
| 2001 | CP | A General Scheme for Multiple Lower Bound Computation in Constraint Optimization. | Rina Dechter, Kalev Kask, Javier Larrosa |
| 2001 | CP | Lower Bounds for Non-binary Constraint Optimization Problems. | Pedro Meseguer, Javier Larrosa, Mart Snchez-Fibla |
| 2000 | CP | Boosting Search with Variable Elimination. | Javier Larrosa |
| 1999 | CP | On Forward Checking for Non-binary Constraint Satisfaction. | Christian Bessire, Pedro Meseguer, Eugene C. Freuder, Javier Larrosa |
| 1999 | CP | Partition-Based Lower Bound for Max-CSP. | Javier Larrosa, Pedro Meseguer |
| 1998 | AAAI | Reversible DAC and Other Improvements for Solving Max-CSP. | Javier Larrosa, Pedro Meseguer, Thomas Schiex, Grard Verfaillie |
| 1998 | ECAI | Partial Lazy Forward Checking for MAX-CSP. | Javier Larrosa, Pedro Meseguer |
| 1997 | IJCAI | Merging Constraint Satisfaction Subproblems to Avoid Redundant Search. | Javier Larrosa |
| 1996 | CP | Exploiting the Use of DAC in MAX-CSP. | Javier Larrosa, Pedro Meseguer |
| 1996 | ECAI | Phase Transition in MAX-CSP. | Javier Larrosa, Pedro Meseguer |
| 1995 | CP | Optimization-based Heuristics for Maximal Constraint Satisfaction. | Javier Larrosa, Pedro Meseguer |
| 1995 | IJCAI | Constraint Satisfaction as Global Optimization. | Pedro Meseguer, Javier Larrosa |