Pedro Meseguer

Publication Activity (10 Years)

Years Active: 1989-2018
Publications (10 Years): 8

Top Topics

Constraint Satisfaction

Global Constraints

Top Venues

Publications

Marc Pujol-Gonzalez, Jesús Cerquides, Pedro Meseguer, Juan A. Rodríguez-Aguilar, Milind Tambe
Decentralized dynamic task allocation for UAVs with limited communication range. CoRR (2018)
Jesús Giráldez-Cru, Jimmy H. M. Lee, Pedro Meseguer
Iterative AWC for Distributed SAT. CCIA (2017)
Jesús Giráldez-Cru, Pedro Meseguer
ABT with Clause Learning for Distributed SAT. CAEPIA (2016)
Jesús Giráldez-Cru, Guillermo Martín-Sánchez, Pedro Meseguer
Connecting ABT with a SAT Solver. STAIRS (2016)
Carlos Hernández, Tansel Uras, Sven Koenig, Jorge A. Baier, Xiaoxun Sun, Pedro Meseguer
Reusing cost-minimal paths for goal-directed navigation in partially known terrains. Auton. Agents Multi Agent Syst. 29 (5) (2015)
Marc Pujol-Gonzalez, Jesús Cerquides, Alessandro Farinelli, Pedro Meseguer, Juan Antonio Rodríguez-Aguilar
Efficient Inter-Team Task Allocation in RoboCup Rescue. AAMAS (2015)
Jimmy Ho-Man Lee, Pedro Meseguer, Wen Su
Adding laziness in BnB-ADOPT+. Constraints An Int. J. 20 (2) (2015)
Santiago Ontañón, Pedro Meseguer
Speeding up operations on feature terms using constraint programming and variable symmetry. Artif. Intell. 220 (2015)
Jesús Cerquides, Alessandro Farinelli, Pedro Meseguer, Sarvapali D. Ramchurn
A Tutorial on Optimization for Multi-Agent Systems. Comput. J. 57 (6) (2014)
Marc Pujol-Gonzalez, Jesús Cerquides, Pedro Meseguer
MAS-planes: a multi-agent simulation environment to investigate decentralised coordination for teams of UAVs. AAMAS (2014)
Christian Bessiere, Ismel Brito, Patricia Gutierrez, Pedro Meseguer
Global Constraints in Distributed Constraint Satisfaction and Optimization. Comput. J. 57 (6) (2014)
Marc Pujol-Gonzalez, Jesús Cerquides, Pedro Meseguer, Juan A. Rodríguez-Aguilar, Milind Tambe
Engineering the Decentralized Coordination of UAVs with Limited Communication Range. CAEPIA (2013)
Patricia Gutierrez, Jimmy Ho-Man Lee, Ka Man Lei, Terrence W. K. Mak, Pedro Meseguer
Maintaining Soft Arc Consistencies in BnB-ADOPT + during Search. CP (2013)
Christian Bessiere, Patricia Gutierrez, Pedro Meseguer
Including Soft Global Constraints in DCOPs. CP (2012)
Patricia Gutierrez, Pedro Meseguer
-AC. AAMAS (2012)
Christian Bessiere, Ismel Brito, Patricia Gutierrez, Pedro Meseguer
Global constraints in distributed constraint satisfaction. AAMAS (2012)
Jesús Cerquides, Pedro Meseguer
Speeding Up 2-way Number Partitioning. ECAI (2012)
Patricia Gutierrez, Pedro Meseguer
Removing Redundant Messages in N-ary BnB-ADOPT. J. Artif. Intell. Res. 45 (2012)
Pedro Meseguer
Towards 40 years of constraint reasoning. Prog. Artif. Intell. 1 (1) (2012)
Santiago Ontañón, Pedro Meseguer
Feature Term Subsumption Using Constraint Programming with Basic Variable Symmetry. CP (2012)
Patricia Gutierrez, Pedro Meseguer
A Novel Way to Connect BnB-ADOPT+, with Soft AC. ECAI (2012)
Marc Pujol-Gonzalez, Jesús Cerquides, Pedro Meseguer, Juan A. Rodríguez-Aguilar
Communication-constrained DCOPs: message approximation in GDL with function filtering. AAMAS (2011)
Patricia Gutierrez, Pedro Meseguer
Distributed Constraint Optimization Problems Related with Soft Arc Consistency. IJCAI (2011)
Patricia Gutierrez, Pedro Meseguer, William Yeoh
Generalizing ADOPT and BnB-ADOPT. IJCAI (2011)
Santiago Ontañón, Pedro Meseguer
Efficient Operations in Feature Terms Using Constraint Programming. ILP (2011)
Carlos Hernández, Xiaoxun Sun, Sven Koenig, Pedro Meseguer
Tree Adaptive A. AAMAS (2011)
Pedro Meseguer, Francesca Rossi, Thomas Schiex
Introduction to the special issue on Constraint-based approaches to Preference Modelling and Reasoning. Constraints An Int. J. 15 (4) (2010)
Patricia Gutierrez, Pedro Meseguer
with Several Soft Arc Consistency Levels. ECAI (2010)
Ismel Brito, Pedro Meseguer
Improving DPOP with function filtering. AAMAS (2010)
Ismel Brito, Pedro Meseguer
Cluster Tree Elimination for Distributed Constraint Optimization with Quality Guarantees. Fundam. Informaticae 102 (3-4) (2010)
Patricia Gutierrez, Pedro Meseguer
Saving Redundant Messages in BnB-ADOPT. AAAI (2010)
Ismel Brito, Amnon Meisels, Pedro Meseguer, Roie Zivan
Distributed constraint satisfaction with partially known constraints. Constraints An Int. J. 14 (2) (2009)
Javier Herranz, Stan Matwin, Pedro Meseguer, Jordi Nin
A Cryptographic Solution for Private Distributed Simple Meeting Scheduling. CCIA (2009)
Patricia Gutierrez, Pedro Meseguer
Connecting BnB-ADOPT with Soft Arc Consistency: Initial Results. CSCLP (2009)
Carlos Hernández, Pedro Meseguer, Xiaoxun Sun, Sven Koenig
Path-Adaptive A* for Incremental Heuristic Search in Unknown Terrain. ICAPS (2009)
Ismel Brito, Pedro Meseguer
Distributed Cluster Tree Elimination. RCRA (2008)
Meritxell Vinyals, Andrea Giovannucci, Jesús Cerquides, Pedro Meseguer, Juan A. Rodríguez-Aguilar
A test suite for the evaluation of mixed multi-unit combinatorial auctions. J. Algorithms 63 (1-3) (2008)
Ismel Brito, Pedro Meseguer
Connecting ABT with Arc Consistency. CP (2008)
Ismel Brito, Pedro Meseguer
Privacy in Distributed Meeting Scheduling. CCIA (2008)
Ismel Brito, Pedro Meseguer
Distributed Meeting Scheduling. CCIA (2007)
Santiago Macho González, Pedro Meseguer
Boosting MUS Extraction. SARA (2007)
Ismel Brito, Pedro Meseguer
Improving ABT Performance by Adding Synchronization Points. CSCLP (2007)
Carlos Hernández, Pedro Meseguer
). CAEPIA (2007)
Carlos Hernández, Pedro Meseguer
Improving LRTA*(k). IJCAI (2007)
Ismel Brito, Pedro Meseguer
Distributed Forward Checking May Lie for Privacy. CSCLP (2006)
Santiago Macho González, Carlos Ansótegui, Pedro Meseguer
Boosting Open CSPs. CP (2006)
Ismel Brito, Pedro Meseguer
Distributed Stable Matching Problems with Ties and Incomplete Lists. CP (2006)
Martí Sánchez-Fibla, Javier Larrosa, Pedro Meseguer
Improving Tree Decomposition Methods With Function Filtering. IJCAI (2005)
Ismel Brito, Pedro Meseguer
Distributed Stable Matching Problems. CP (2005)
Christian Bessière, Arnold Maestre, Ismel Brito, Pedro Meseguer
Asynchronous backtracking without adding links: a new member in the ABT family. Artif. Intell. 161 (1-2) (2005)
Martí Sánchez-Fibla, Javier Larrosa, Pedro Meseguer
Tree Decomposition with Function Filtering. CP (2005)
Carlos Hernández, Pedro Meseguer
Propagating updates in real-time search: FALCONS(k). SCCC (2005)
Carlos Hernández, Pedro Meseguer
). CAEPIA (2005)
Carlos Hernández, Pedro Meseguer
LRTA*(k). IJCAI (2005)
Martí Sánchez-Fibla, Pedro Meseguer, Javier Larrosa
Improving the Applicability of Adaptive Consistency: Preliminary Results. CP (2004)
Martí Sánchez-Fibla, Pedro Meseguer, Javier Larrosa
Using Constraints with Memory to Implement Variable Elimination. ECAI (2004)
Ismel Brito, Pedro Meseguer
Distributed Forward Checking. CP (2003)
Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex
Solving Max-SAT as Weighted CSP. CP (2003)
Javier Larrosa, Pedro Meseguer
Restricciones Blanda: Modelos y Algoritmos. Inteligencia Artif. 7 (20) (2003)
Pedro Meseguer, Noureddine Bouhmala, Taoufik Bouzoubaa, Morten Irgens, Martí Sánchez-Fibla
Current Approaches for Solving Over-Constrained Problems. Constraints An Int. J. 8 (1) (2003)
Javier Larrosa, Pedro Meseguer
Algoritmos para Satisfacción de Restricciones. Inteligencia Artif. 7 (20) (2003)
Javier Larrosa, Pedro Meseguer
Partition-Based Lower Bound for Max-CSP. Constraints An Int. J. 7 (3-4) (2002)
Javier Larrosa, Pedro Meseguer, Martí Sánchez-Fibla
Pseudo-tree Search with Soft Constraints. ECAI (2002)
Pedro Meseguer, Martí Sánchez-Fibla, Gérard Verfaillie
Opportunistic Specialization in Russian Doll Search. CP (2002)
Christian Bessière, Pedro Meseguer, Eugene C. Freuder, Javier Larrosa
On forward checking for non-binary constraint satisfaction. Artif. Intell. 141 (1/2) (2002)
Christian Bessière, Arnold Maestre, Pedro Meseguer
Distributed Dynamic Backtracking. CP (2001)
Pedro Meseguer, Javier Larrosa, Martí Sánchez-Fibla
Lower Bounds for Non-binary Constraint Optimization Problems. CP (2001)
Pedro Meseguer, Carme Torras
Exploiting symmetries within constraint satisfaction search. Artif. Intell. 129 (1-2) (2001)
Pedro Meseguer, Martí Sánchez-Fibla
Specializing Russian Doll Search. CP (2001)
Pedro Meseguer, Carme Torras
Solving Strategies for Highly Symmetric CSPs. IJCAI (1999)
Christian Bessière, Pedro Meseguer, Eugene C. Freuder, Javier Larrosa
On Forward Checking for Non-binary Constraint Satisfaction. CP (1999)
Javier Larrosa, Pedro Meseguer, Thomas Schiex
Maintaining Reversible DAC for Max-CSP. Artif. Intell. 107 (1) (1999)
Javier Larrosa, Pedro Meseguer
Partition-Based Lower Bound for Max-CSP. CP (1999)
Pedro Meseguer, Toby Walsh
Interleaved and Discrepancy Based Search. ECAI (1998)
Javier Larrosa, Pedro Meseguer
Generic CSP Techniques for the Job-Shop Problem. IEA/AIE (Vol. 2) (1998)
Javier Larrosa, Pedro Meseguer
Partial Lazy Forward Checking for MAX-CSP. ECAI (1998)
Javier Larrosa, Pedro Meseguer, Thomas Schiex, Gérard Verfaillie
Reversible DAC and Other Improvements for Solving Max-CSP. AAAI/IAAI (1998)
Pedro Meseguer
Interleaved Depth-First Search. IJCAI (1997)
Javier Larrosa, Pedro Meseguer
Exploiting the Use of DAC in MAX-CSP. CP (1996)
Pedro Meseguer, Albert Verdaguer
Expert system validation through knowledge base refinement. Int. J. Intell. Syst. 11 (7) (1996)
Javier Larrosa, Pedro Meseguer
Phase Transition in MAX-CSP. ECAI (1996)
Pedro Meseguer, Alun D. Preece
Verification and validation of knowledge-based systems with formal specifications. Knowl. Eng. Rev. 10 (4) (1995)
Javier Larrosa, Pedro Meseguer
Optimization-based Heuristics for Maximal Constraint Satisfaction. CP (1995)
Pedro Meseguer, Javier Larrosa
Constraint Satisfaction as Global Optimization. IJCAI (1) (1995)
Pedro Meseguer, Enric Plaza
The VALID project: Goals, development, and results. Int. J. Intell. Syst. 9 (9) (1994)
Pedro Meseguer
Expert System Validation through Knowledge Base Refinement. IJCAI (1993)
Thomas Hoppe, Pedro Meseguer
VVT Terminology: A Proposal. IEEE Expert 8 (3) (1993)
Pedro Meseguer, Enric Plaza
An Overview on the VALID Project. IFIP Congress (3) (1992)
Pedro Meseguer
Conventional Software and Expert Systems: Some Comparative Aspects Regarding Validation. AIFIPP (1992)
Pedro Meseguer
Incremental Verification of Rule-Based Expert Systems. ECAI (1992)
Pedro Meseguer
Towards a Conceptual Framework for Expert System Validation. AI Commun. 5 (3) (1992)
Thomas Hoppe, Pedro Meseguer
On the Terminology of VVT. EUROVAV (1991)
Pedro Meseguer
Verification of Multi-Level Rule-Based Expert Systems. AAAI (1991)
Pedro Meseguer
Structural and Performance Metrics for Rule-Based Expert Systems. EUROVAV (1991)
Pedro Meseguer
A New Method to Checking Rule Bases for Inconsistency: A Petri Net Approach. ECAI (1990)
Beatriz López, Pedro Meseguer, Enric Plaza
Knowledge Based Systems Validation: A State of the Art. AI Commun. 3 (2) (1990)
Pedro Meseguer
Constraint Satisfaction Problems: An Overview. AI Commun. 2 (1) (1989)