| 2013 | CP | Maintaining Soft Arc Consistencies in BnB-ADOPT + during Search. | Patricia Gutierrez, Jimmy Ho-Man Lee, Ka Man Lei, Terrence W. K. Mak, Pedro Meseguer |
| 2012 | AAMAS | Global constraints in distributed constraint satisfaction. | Christian Bessiere, Ismel Brito, Patricia Gutierrez, Pedro Meseguer |
| 2012 | AAMAS | Improving BnB-ADOPT | Patricia Gutierrez, Pedro Meseguer |
| 2012 | CP | Including Soft Global Constraints in DCOPs. | Christian Bessiere, Patricia Gutierrez, Pedro Meseguer |
| 2012 | CP | Feature Term Subsumption Using Constraint Programming with Basic Variable Symmetry. | Santiago Ontan, Pedro Meseguer |
| 2012 | ECAI | Speeding Up 2-way Number Partitioning. | Jess Cerquides, Pedro Meseguer |
| 2012 | ECAI | A Novel Way to Connect BnB-ADOPT+, with Soft AC. | Patricia Gutierrez, Pedro Meseguer |
| 2011 | IJCAI | Distributed Constraint Optimization Problems Related with Soft Arc Consistency. | Patricia Gutierrez, Pedro Meseguer |
| 2011 | IJCAI | Generalizing ADOPT and BnB-ADOPT. | Patricia Gutierrez, Pedro Meseguer, William Yeoh |
| 2011 | ILP | Efficient Operations in Feature Terms Using Constraint Programming. | Santiago Ontan, Pedro Meseguer |
| 2010 | AAAI | Saving Redundant Messages in BnB-ADOPT. | Patricia Gutierrez, Pedro Meseguer |
| 2010 | ECAI | BnB-ADOPT | Patricia Gutierrez, Pedro Meseguer |
| 2008 | CP | Connecting ABT with Arc Consistency. | Ismel Brito, Pedro Meseguer |
| 2007 | IJCAI | Improving LRTA*(k). | Carlos Hernndez, Pedro Meseguer |
| 2006 | CP | Distributed Stable Matching Problems with Ties and Incomplete Lists. | Ismel Brito, Pedro Meseguer |
| 2006 | CP | Boosting Open CSPs. | Santiago Macho Gonzlez, Carlos Anstegui, Pedro Meseguer |
| 2005 | CP | Distributed Stable Matching Problems. | Ismel Brito, Pedro Meseguer |
| 2005 | CP | Tree Decomposition with Function Filtering. | Mart Snchez-Fibla, Javier Larrosa, Pedro Meseguer |
| 2005 | IJCAI | LRTA*(k). | Carlos Hernndez, Pedro Meseguer |
| 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 | Distributed Forward Checking. | Ismel Brito, Pedro Meseguer |
| 2003 | CP | Solving Max-SAT as Weighted CSP. | Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex |
| 2002 | CP | Opportunistic Specialization in Russian Doll Search. | Pedro Meseguer, Mart Snchez-Fibla, Grard Verfaillie |
| 2002 | ECAI | Pseudo-tree Search with Soft Constraints. | Javier Larrosa, Pedro Meseguer, Mart Snchez-Fibla |
| 2001 | CP | Distributed Dynamic Backtracking. | Christian Bessire, Arnold Maestre, Pedro Meseguer |
| 2001 | CP | Lower Bounds for Non-binary Constraint Optimization Problems. | Pedro Meseguer, Javier Larrosa, Mart Snchez-Fibla |
| 2001 | CP | Specializing Russian Doll Search. | Pedro Meseguer, Mart Snchez-Fibla |
| 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 |
| 1999 | IJCAI | Solving Strategies for Highly Symmetric CSPs. | Pedro Meseguer, Carme Torras |
| 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 |
| 1998 | ECAI | Interleaved and Discrepancy Based Search. | Pedro Meseguer, Toby Walsh |
| 1997 | IJCAI | Interleaved Depth-First Search. | Pedro Meseguer |
| 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 |
| 1993 | IJCAI | Expert System Validation through Knowledge Base Refinement. | Pedro Meseguer |
| 1992 | ECAI | Incremental Verification of Rule-Based Expert Systems. | Pedro Meseguer |
| 1991 | AAAI | Verification of Multi-Level Rule-Based Expert Systems. | Pedro Meseguer |
| 1990 | ECAI | A New Method to Checking Rule Bases for Inconsistency: A Petri Net Approach. | Pedro Meseguer |