Pedro Meseguer

100 papers A* 11A 36B 1Journal 27Unranked 22

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