The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Pedro Meseguer" ( http://dblp.L3S.de/Authors/Pedro_Meseguer )

  Author page on DBLP  Author page in RDF  Community of Pedro Meseguer in ASPL-2

Publication years (Num. hits)
1989-1995 (17) 1996-2001 (16) 2002-2005 (18) 2006-2009 (17) 2010-2012 (19) 2013-2018 (13)
Publication types (Num. hits)
article(27) incollection(1) inproceedings(70) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

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