Constraint Satisfaction Problems: An Overview. - Pedro Meseguer (AI Commun., 1989)

A New Method to Checking Rule Bases for Inconsistency: A Petri Net Approach. - Pedro Meseguer (ECAI, 1990)

Knowledge Based Systems Validation: A State of the Art. - Beatriz López 001; Pedro Meseguer; Enric Plaza (AI Commun., 1990)

Verification of Multi-Level Rule-Based Expert Systems. - Pedro Meseguer (AAAI, 1991)

On the Terminology of VVT. - Thomas Hoppe; Pedro Meseguer (EUROVAV, 1991)

Structural and Performance Metrics for Rule-Based Expert Systems. - Pedro Meseguer (EUROVAV, 1991)

Conventional Software and Expert Systems: Some Comparative Aspects Regarding Validation. - Pedro Meseguer (AIFIPP, 1992)

Incremental Verification of Rule-Based Expert Systems. - Pedro Meseguer (ECAI, 1992)

An Overview on the VALID Project. - Pedro Meseguer; Enric Plaza (IFIP Congress (3), 1992)

Towards a Conceptual Framework for Expert System Validation. - Pedro Meseguer (AI Commun., 1992)

Expert System Validation through Knowledge Base Refinement. - Pedro Meseguer (IJCAI, 1993)

VVT Terminology: A Proposal. - Thomas Hoppe; Pedro Meseguer (IEEE Expert, 1993)

The VALID project: Goals, development, and results. - Pedro Meseguer; Enric Plaza (Int. J. Intell. Syst., 1994)

Optimization-based Heuristics for Maximal Constraint Satisfaction. - Javier Larrosa; Pedro Meseguer (CP, 1995)

Constraint Satisfaction as Global Optimization. - Pedro Meseguer; Javier Larrosa (IJCAI (1), 1995)

Verification and validation of knowledge-based systems with formal specifications. - Pedro Meseguer; Alun D. Preece (Knowl. Eng. Rev., 1995)

Exploiting the Use of DAC in MAX-CSP. - Javier Larrosa; Pedro Meseguer (CP, 1996)

Phase Transition in MAX-CSP. - Javier Larrosa; Pedro Meseguer (ECAI, 1996)

Expert system validation through knowledge base refinement. - Pedro Meseguer; Albert Verdaguer (Int. J. Intell. Syst., 1996)

Interleaved Depth-First Search. - Pedro Meseguer (IJCAI, 1997)

Reversible DAC and Other Improvements for Solving Max-CSP. - Javier Larrosa; Pedro Meseguer; Thomas Schiex; Gérard Verfaillie (AAAI/IAAI, 1998)

Partial Lazy Forward Checking for MAX-CSP. - Javier Larrosa; Pedro Meseguer (ECAI, 1998)

Interleaved and Discrepancy Based Search. - Pedro Meseguer; Toby Walsh (ECAI, 1998)

Generic CSP Techniques for the Job-Shop Problem. - Javier Larrosa; Pedro Meseguer (IEA/AIE (Vol. 2), 1998)

Solving Strategies for Highly Symmetric CSPs. - Pedro Meseguer; Carme Torras (IJCAI, 1999)

Maintaining Reversible DAC for Max-CSP. - Javier Larrosa; Pedro Meseguer; Thomas Schiex (Artif. Intell., 1999)

Distributed Dynamic Backtracking. - Christian Bessière; Arnold Maestre; Pedro Meseguer (CP, 2001)

Lower Bounds for Non-binary Constraint Optimization Problems. - Pedro Meseguer; Javier Larrosa; Martí Sánchez-Fibla (CP, 2001)

Specializing Russian Doll Search. - Pedro Meseguer; Martí Sánchez-Fibla (CP, 2001)

Exploiting symmetries within constraint satisfaction search. - Pedro Meseguer; Carme Torras (Artif. Intell., 2001)

Opportunistic Specialization in Russian Doll Search. - Pedro Meseguer; Martí Sánchez-Fibla; Gérard Verfaillie (CP, 2002)

Pseudo-tree Search with Soft Constraints. - Javier Larrosa; Pedro Meseguer; Martí Sánchez-Fibla (ECAI, 2002)

On forward checking for non-binary constraint satisfaction. - Christian Bessière; Pedro Meseguer; Eugene C. Freuder; Javier Larrosa (Artif. Intell., 2002)

Partition-Based Lower Bound for Max-CSP. - Javier Larrosa; Pedro Meseguer (Constraints An Int. J., 2002)

Distributed Forward Checking. - Ismel Brito; Pedro Meseguer (CP, 2003)

Solving Max-SAT as Weighted CSP. - Simon de Givry; Javier Larrosa; Pedro Meseguer; Thomas Schiex (CP, 2003)

Algoritmos para Satisfacción de Restricciones. - Javier Larrosa; Pedro Meseguer (Inteligencia Artif., 2003)

Restricciones Blanda: Modelos y Algoritmos. - Javier Larrosa; Pedro Meseguer (Inteligencia Artif., 2003)

Current Approaches for Solving Over-Constrained Problems. - Pedro Meseguer; Noureddine Bouhmala; Taoufik Bouzoubaa; Morten Irgens; Martí Sánchez-Fibla (Constraints An Int. J., 2003)

Improving the Applicability of Adaptive Consistency: Preliminary Results. - Martí Sánchez-Fibla; Pedro Meseguer; Javier Larrosa (CP, 2004)

Using Constraints with Memory to Implement Variable Elimination. - Martí Sánchez-Fibla; Pedro Meseguer; Javier Larrosa (ECAI, 2004)

Propagating Updates in Real-Time Search: HLRTA*(k). - Carlos Hernández 003; Pedro Meseguer (CAEPIA, 2005)

Distributed Stable Matching Problems. - Ismel Brito; Pedro Meseguer (CP, 2005)

Tree Decomposition with Function Filtering. - Martí Sánchez-Fibla; Javier Larrosa; Pedro Meseguer (CP, 2005)

LRTA*(k). - Carlos Hernández 003; Pedro Meseguer (IJCAI, 2005)

Improving Tree Decomposition Methods With Function Filtering. - Martí Sánchez-Fibla; Javier Larrosa; Pedro Meseguer (IJCAI, 2005)

Propagating updates in real-time search: FALCONS(k). - Carlos Hernández 003; Pedro Meseguer (SCCC, 2005)

Asynchronous backtracking without adding links: a new member in the ABT family. - Christian Bessière; Arnold Maestre; Ismel Brito; Pedro Meseguer (Artif. Intell., 2005)

Distributed Stable Matching Problems with Ties and Incomplete Lists. - Ismel Brito; Pedro Meseguer (CP, 2006)

Boosting Open CSPs. - Santiago Macho González; Carlos Ansótegui; Pedro Meseguer (CP, 2006)

Distributed Forward Checking May Lie for Privacy. - Ismel Brito; Pedro Meseguer (CSCLP, 2006)

Soft Constraints. - Pedro Meseguer; Francesca Rossi 001; Thomas Schiex (Handbook of Constraint Programming, 2006)

Improving HLRTA*( k ). - Carlos Hernández 003; Pedro Meseguer (CAEPIA, 2007)

Distributed Meeting Scheduling. - Ismel Brito; Pedro Meseguer (CCIA, 2007)

Improving ABT Performance by Adding Synchronization Points. - Ismel Brito; Pedro Meseguer (CSCLP, 2007)

Improving LRTA*(k). - Carlos Hernández 003; Pedro Meseguer (IJCAI, 2007)

Boosting MUS Extraction. - Santiago Macho González; Pedro Meseguer (SARA, 2007)

Privacy in Distributed Meeting Scheduling. - Ismel Brito; Pedro Meseguer (CCIA, 2008)

Connecting ABT with Arc Consistency. - Ismel Brito; Pedro Meseguer (CP, 2008)

Distributed Cluster Tree Elimination. - Ismel Brito; Pedro Meseguer (RCRA, 2008)

A test suite for the evaluation of mixed multi-unit combinatorial auctions. - Meritxell Vinyals; Andrea Giovannucci; Jesús Cerquides; Pedro Meseguer; Juan A. Rodríguez-Aguilar (J. Algorithms, 2008)

Path-Adaptive A* for Incremental Heuristic Search in Unknown Terrain. - Carlos Hernández 003; Pedro Meseguer; Xiaoxun Sun; Sven Koenig (ICAPS, 2009)

A Cryptographic Solution for Private Distributed Simple Meeting Scheduling. - Javier Herranz; Stan Matwin; Pedro Meseguer; Jordi Nin (CCIA, 2009)

Connecting BnB-ADOPT with Soft Arc Consistency: Initial Results. - Patricia Gutierrez; Pedro Meseguer (CSCLP, 2009)

Distributed constraint satisfaction with partially known constraints. - Ismel Brito; Amnon Meisels; Pedro Meseguer; Roie Zivan (Constraints An Int. J., 2009)

Saving Redundant Messages in BnB-ADOPT. - Patricia Gutierrez; Pedro Meseguer (AAAI, 2010)

Improving DPOP with function filtering. - Ismel Brito; Pedro Meseguer (AAMAS, 2010)

BnB-ADOPT+ with Several Soft Arc Consistency Levels. - Patricia Gutierrez; Pedro Meseguer (ECAI, 2010)

Introduction to the special issue on Constraint-based approaches to Preference Modelling and Reasoning. - Pedro Meseguer; Francesca Rossi 001; Thomas Schiex (Constraints An Int. J., 2010)

Cluster Tree Elimination for Distributed Constraint Optimization with Quality Guarantees. - Ismel Brito; Pedro Meseguer (Fundam. Informaticae, 2010)

Tree Adaptive A. - Carlos Hernández 003; Xiaoxun Sun; Sven Koenig; Pedro Meseguer (AAMAS, 2011)

Communication-constrained DCOPs: message approximation in GDL with function filtering. - Marc Pujol-Gonzalez; Jesús Cerquides; Pedro Meseguer; Juan A. Rodríguez-Aguilar (AAMAS, 2011)

Distributed Constraint Optimization Problems Related with Soft Arc Consistency. - Patricia Gutierrez; Pedro Meseguer (IJCAI, 2011)

Generalizing ADOPT and BnB-ADOPT. - Patricia Gutierrez; Pedro Meseguer; William Yeoh 001 (IJCAI, 2011)

Efficient Operations in Feature Terms Using Constraint Programming. - Santiago Ontañón; Pedro Meseguer (ILP, 2011)

Global constraints in distributed constraint satisfaction. - Christian Bessiere; Ismel Brito; Patricia Gutierrez; Pedro Meseguer (AAMAS, 2012)

Improving BnB-ADOPT+-AC. - Patricia Gutierrez; Pedro Meseguer (AAMAS, 2012)

Including Soft Global Constraints in DCOPs. - Christian Bessiere; Patricia Gutierrez; Pedro Meseguer (CP, 2012)

Feature Term Subsumption Using Constraint Programming with Basic Variable Symmetry. - Santiago Ontañón; Pedro Meseguer (CP, 2012)

Speeding Up 2-way Number Partitioning. - Jesús Cerquides; Pedro Meseguer (ECAI, 2012)

A Novel Way to Connect BnB-ADOPT+, with Soft AC. - Patricia Gutierrez; Pedro Meseguer (ECAI, 2012)

Removing Redundant Messages in N-ary BnB-ADOPT. - Patricia Gutierrez; Pedro Meseguer (J. Artif. Intell. Res., 2012)

Towards 40 years of constraint reasoning. - Pedro Meseguer (Prog. Artif. Intell., 2012)

Engineering the Decentralized Coordination of UAVs with Limited Communication Range. - Marc Pujol-Gonzalez; Jesús Cerquides; Pedro Meseguer; Juan A. Rodríguez-Aguilar; Milind Tambe (CAEPIA, 2013)

Maintaining Soft Arc Consistencies in BnB-ADOPT + during Search. - Patricia Gutierrez; Jimmy Ho-Man Lee; Ka Man Lei; Terrence W. K. Mak; Pedro Meseguer (CP, 2013)

MAS-planes: a multi-agent simulation environment to investigate decentralised coordination for teams of UAVs. - Marc Pujol-Gonzalez; Jesús Cerquides; Pedro Meseguer (AAMAS, 2014)

Global Constraints in Distributed Constraint Satisfaction and Optimization. - Christian Bessiere; Ismel Brito; Patricia Gutierrez; Pedro Meseguer (Comput. J., 2014)

A Tutorial on Optimization for Multi-Agent Systems. - Jesús Cerquides; Alessandro Farinelli; Pedro Meseguer; Sarvapali D. Ramchurn (Comput. J., 2014)

Efficient Inter-Team Task Allocation in RoboCup Rescue. - Marc Pujol-Gonzalez; Jesús Cerquides; Alessandro Farinelli; Pedro Meseguer; Juan Antonio Rodríguez-Aguilar (AAMAS, 2015)

Reusing cost-minimal paths for goal-directed navigation in partially known terrains. - Carlos Hernández 003; Tansel Uras; Sven Koenig; Jorge A. Baier; Xiaoxun Sun; Pedro Meseguer (Auton. Agents Multi Agent Syst., 2015)

Speeding up operations on feature terms using constraint programming and variable symmetry. - Santiago Ontañón; Pedro Meseguer (Artif. Intell., 2015)

Adding laziness in BnB-ADOPT+. - Jimmy Ho-Man Lee; Pedro Meseguer; Wen Su (Constraints An Int. J., 2015)

ABT with Clause Learning for Distributed SAT. - Jesús Giráldez-Cru; Pedro Meseguer (CAEPIA, 2016)

Connecting ABT with a SAT Solver. - Jesús Giráldez-Cru; Guillermo Martín-Sánchez; Pedro Meseguer (STAIRS, 2016)

Iterative AWC for Distributed SAT. - Jesús Giráldez-Cru; Jimmy H. M. Lee; Pedro Meseguer (CCIA, 2017)

Decentralized dynamic task allocation for UAVs with limited communication range. - Marc Pujol-Gonzalez; Jesús Cerquides; Pedro Meseguer; Juan A. Rodríguez-Aguilar; Milind Tambe (CoRR, 2018)