default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPedro Meseguer
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2018
[i1]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 abs/1809.07863 (2018)- 2017
- [c70]Jesús Giráldez-Cru
, Jimmy H. M. Lee, Pedro Meseguer:
Iterative AWC for Distributed SAT. CCIA 2017: 56-65 - 2016
- [c69]Jesús Giráldez-Cru, Pedro Meseguer:
ABT with Clause Learning for Distributed SAT. CAEPIA 2016: 183-193 - [c68]Jesús Giráldez-Cru, Guillermo Martín-Sánchez, Pedro Meseguer:
Connecting ABT with a SAT Solver. STAIRS 2016: 179-184 - 2015
- [j26]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): 850-895 (2015) - [j25]Santiago Ontañón, Pedro Meseguer:
Speeding up operations on feature terms using constraint programming and variable symmetry. Artif. Intell. 220: 104-120 (2015) - [j24]Jimmy Ho-Man Lee, Pedro Meseguer, Wen Su:
Adding laziness in BnB-ADOPT+. Constraints An Int. J. 20(2): 274-282 (2015) - [c67]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: 413-421 - 2014
- [j23]Jesús Cerquides, Alessandro Farinelli, Pedro Meseguer, Sarvapali D. Ramchurn:
A Tutorial on Optimization for Multi-Agent Systems. Comput. J. 57(6): 799-824 (2014) - [j22]Christian Bessiere, Ismel Brito, Patricia Gutierrez, Pedro Meseguer:
Global Constraints in Distributed Constraint Satisfaction and Optimization. Comput. J. 57(6): 906-923 (2014) - [c66]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: 1695-1696 - 2013
- [c65]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: 199-208 - [c64]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: 365-380 - 2012
- [j21]Patricia Gutierrez, Pedro Meseguer:
Removing Redundant Messages in N-ary BnB-ADOPT. J. Artif. Intell. Res. 45: 287-304 (2012) - [j20]Pedro Meseguer:
Towards 40 years of constraint reasoning. Prog. Artif. Intell. 1(1): 25-43 (2012) - [c63]Patricia Gutierrez, Pedro Meseguer:
Improving BnB-ADOPT+-AC. AAMAS 2012: 273-280 - [c62]Christian Bessiere, Ismel Brito, Patricia Gutierrez, Pedro Meseguer:
Global constraints in distributed constraint satisfaction. AAMAS 2012: 1263-1264 - [c61]Christian Bessiere, Patricia Gutierrez, Pedro Meseguer:
Including Soft Global Constraints in DCOPs. CP 2012: 175-190 - [c60]Santiago Ontañón, Pedro Meseguer:
Feature Term Subsumption Using Constraint Programming with Basic Variable Symmetry. CP 2012: 1004-1012 - [c59]Jesús Cerquides, Pedro Meseguer:
Speeding Up 2-way Number Partitioning. ECAI 2012: 223-227 - [c58]Patricia Gutierrez, Pedro Meseguer:
A Novel Way to Connect BnB-ADOPT+, with Soft AC. ECAI 2012: 903-904 - 2011
- [c57]Carlos Hernández, Xiaoxun Sun, Sven Koenig, Pedro Meseguer:
Tree Adaptive A. AAMAS 2011: 123-130 - [c56]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: 379-386 - [c55]Patricia Gutierrez, Pedro Meseguer, William Yeoh:
Generalizing ADOPT and BnB-ADOPT. IJCAI 2011: 554-559 - [c54]Patricia Gutierrez, Pedro Meseguer:
Distributed Constraint Optimization Problems Related with Soft Arc Consistency. IJCAI 2011: 2812-2813 - [c53]Santiago Ontañón, Pedro Meseguer:
Efficient Operations in Feature Terms Using Constraint Programming. ILP 2011: 270-285 - 2010
- [j19]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): 453-455 (2010) - [j18]Ismel Brito, Pedro Meseguer:
Cluster Tree Elimination for Distributed Constraint Optimization with Quality Guarantees. Fundam. Informaticae 102(3-4): 263-286 (2010) - [c52]Patricia Gutierrez, Pedro Meseguer:
Saving Redundant Messages in BnB-ADOPT. AAAI 2010: 1259-1260 - [c51]Ismel Brito, Pedro Meseguer:
Improving DPOP with function filtering. AAMAS 2010: 141-148 - [c50]Patricia Gutierrez, Pedro Meseguer:
BnB-ADOPT+ with Several Soft Arc Consistency Levels. ECAI 2010: 67-72 - [e2]Pedro Meseguer, Lawrence Mandow, Rafael M. Gasca:
Current Topics in Artificial Intelligence, 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009. Selected Papers. Lecture Notes in Computer Science 5988, Springer 2010, ISBN 978-3-642-14263-5 [contents]
2000 – 2009
- 2009
- [j17]Ismel Brito, Amnon Meisels, Pedro Meseguer, Roie Zivan:
Distributed constraint satisfaction with partially known constraints. Constraints An Int. J. 14(2): 199-234 (2009) - [c49]Carlos Hernández, Pedro Meseguer, Xiaoxun Sun, Sven Koenig:
Path-Adaptive A* for Incremental Heuristic Search in Unknown Terrain. ICAPS 2009 - [c48]Javier Herranz, Stan Matwin, Pedro Meseguer, Jordi Nin:
A Cryptographic Solution for Private Distributed Simple Meeting Scheduling. CCIA 2009: 275-283 - [c47]Patricia Gutierrez, Pedro Meseguer:
Connecting BnB-ADOPT with Soft Arc Consistency: Initial Results. CSCLP 2009: 19-37 - 2008
- [j16]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): 130-150 (2008) - [c46]Ismel Brito, Pedro Meseguer:
Privacy in Distributed Meeting Scheduling. CCIA 2008: 118-127 - [c45]Ismel Brito, Pedro Meseguer:
Connecting ABT with Arc Consistency. CP 2008: 387-401 - [c44]Ismel Brito, Pedro Meseguer:
Distributed Cluster Tree Elimination. RCRA 2008 - 2007
- [c43]Carlos Hernández, Pedro Meseguer:
Improving HLRTA*( k ). CAEPIA 2007: 110-119 - [c42]Ismel Brito, Pedro Meseguer:
Distributed Meeting Scheduling. CCIA 2007: 38-45 - [c41]Ismel Brito, Pedro Meseguer:
Improving ABT Performance by Adding Synchronization Points. CSCLP 2007: 47-61 - [c40]Carlos Hernández, Pedro Meseguer:
Improving LRTA*(k). IJCAI 2007: 2312-2317 - [c39]Santiago Macho González, Pedro Meseguer:
Boosting MUS Extraction. SARA 2007: 285-299 - 2006
- [c38]Santiago Macho González, Carlos Ansótegui, Pedro Meseguer:
Boosting Open CSPs. CP 2006: 314-328 - [c37]Ismel Brito, Pedro Meseguer:
Distributed Stable Matching Problems with Ties and Incomplete Lists. CP 2006: 675-679 - [c36]Ismel Brito, Pedro Meseguer:
Distributed Forward Checking May Lie for Privacy. CSCLP 2006: 93-107 - [r1]Pedro Meseguer, Francesca Rossi, Thomas Schiex:
Soft Constraints. Handbook of Constraint Programming 2006: 281-328 - 2005
- [j15]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): 7-24 (2005) - [c35]Carlos Hernández, Pedro Meseguer:
Propagating Updates in Real-Time Search: HLRTA*(k). CAEPIA 2005: 379-388 - [c34]Ismel Brito, Pedro Meseguer:
Distributed Stable Matching Problems. CP 2005: 152-166 - [c33]Martí Sánchez-Fibla, Javier Larrosa, Pedro Meseguer:
Tree Decomposition with Function Filtering. CP 2005: 593-606 - [c32]Carlos Hernández, Pedro Meseguer:
LRTA*(k). IJCAI 2005: 1238-1243 - [c31]Martí Sánchez-Fibla, Javier Larrosa, Pedro Meseguer:
Improving Tree Decomposition Methods With Function Filtering. IJCAI 2005: 1537-1538 - [c30]Carlos Hernández, Pedro Meseguer:
Propagating updates in real-time search: FALCONS(k). SCCC 2005: 37-44 - 2004
- [c29]Martí Sánchez-Fibla, Pedro Meseguer, Javier Larrosa:
Improving the Applicability of Adaptive Consistency: Preliminary Results. CP 2004: 757-761 - [c28]Martí Sánchez-Fibla, Pedro Meseguer, Javier Larrosa:
Using Constraints with Memory to Implement Variable Elimination. ECAI 2004: 216-220 - 2003
- [j14]Javier Larrosa, Pedro Meseguer:
Algoritmos para Satisfacción de Restricciones. Inteligencia Artif. 7(20): 31-42 (2003) - [j13]Javier Larrosa, Pedro Meseguer:
Restricciones Blanda: Modelos y Algoritmos. Inteligencia Artif. 7(20): 69-82 (2003) - [j12]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): 9-39 (2003) - [c27]Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex:
Solving Max-SAT as Weighted CSP. CP 2003: 363-376 - [c26]Ismel Brito, Pedro Meseguer:
Distributed Forward Checking. CP 2003: 801-806 - 2002
- [j11]Christian Bessière, Pedro Meseguer, Eugene C. Freuder, Javier Larrosa:
On forward checking for non-binary constraint satisfaction. Artif. Intell. 141(1/2): 205-224 (2002) - [j10]Javier Larrosa, Pedro Meseguer:
Partition-Based Lower Bound for Max-CSP. Constraints An Int. J. 7(3-4): 407-419 (2002) - [c25]Pedro Meseguer, Martí Sánchez-Fibla, Gérard Verfaillie:
Opportunistic Specialization in Russian Doll Search. CP 2002: 264-279 - [c24]Javier Larrosa, Pedro Meseguer, Martí Sánchez-Fibla:
Pseudo-tree Search with Soft Constraints. ECAI 2002: 131-135 - 2001
- [j9]Pedro Meseguer, Carme Torras:
Exploiting symmetries within constraint satisfaction search. Artif. Intell. 129(1-2): 133-163 (2001) - [c23]Pedro Meseguer, Javier Larrosa, Martí Sánchez-Fibla:
Lower Bounds for Non-binary Constraint Optimization Problems. CP 2001: 317-331 - [c22]Pedro Meseguer, Martí Sánchez-Fibla:
Specializing Russian Doll Search. CP 2001: 464-478 - [c21]Christian Bessière, Arnold Maestre, Pedro Meseguer:
Distributed Dynamic Backtracking. CP 2001: 772
1990 – 1999
- 1999
- [j8]Javier Larrosa, Pedro Meseguer, Thomas Schiex:
Maintaining Reversible DAC for Max-CSP. Artif. Intell. 107(1): 149-163 (1999) - [c20]Christian Bessière, Pedro Meseguer, Eugene C. Freuder, Javier Larrosa:
On Forward Checking for Non-binary Constraint Satisfaction. CP 1999: 88-102 - [c19]Javier Larrosa, Pedro Meseguer:
Partition-Based Lower Bound for Max-CSP. CP 1999: 303-315 - [c18]Pedro Meseguer, Carme Torras:
Solving Strategies for Highly Symmetric CSPs. IJCAI 1999: 400-405 - 1998
- [c17]Javier Larrosa, Pedro Meseguer, Thomas Schiex, Gérard Verfaillie:
Reversible DAC and Other Improvements for Solving Max-CSP. AAAI/IAAI 1998: 347-352 - [c16]Javier Larrosa, Pedro Meseguer:
Partial Lazy Forward Checking for MAX-CSP. ECAI 1998: 229-233 - [c15]Pedro Meseguer, Toby Walsh:
Interleaved and Discrepancy Based Search. ECAI 1998: 239-243 - [c14]Javier Larrosa, Pedro Meseguer:
Generic CSP Techniques for the Job-Shop Problem. IEA/AIE (Vol. 2) 1998: 46-55 - 1997
- [c13]Pedro Meseguer:
Interleaved Depth-First Search. IJCAI 1997: 1382-1387 - 1996
- [j7]Pedro Meseguer, Albert Verdaguer:
Expert system validation through knowledge base refinement. Int. J. Intell. Syst. 11(7): 429-462 (1996) - [c12]Javier Larrosa, Pedro Meseguer:
Exploiting the Use of DAC in MAX-CSP. CP 1996: 308-322 - [c11]Javier Larrosa, Pedro Meseguer:
Phase Transition in MAX-CSP. ECAI 1996: 190-194 - 1995
- [j6]Pedro Meseguer, Alun D. Preece:
Verification and validation of knowledge-based systems with formal specifications. Knowl. Eng. Rev. 10(4): 331-343 (1995) - [c10]Javier Larrosa, Pedro Meseguer:
Optimization-based Heuristics for Maximal Constraint Satisfaction. CP 1995: 103-120 - [c9]Pedro Meseguer, Javier Larrosa:
Constraint Satisfaction as Global Optimization. IJCAI (1) 1995: 579-585 - 1994
- [j5]Pedro Meseguer, Enric Plaza:
The VALID project: Goals, development, and results. Int. J. Intell. Syst. 9(9): 867-892 (1994) - 1993
- [j4]Thomas Hoppe, Pedro Meseguer:
VVT Terminology: A Proposal. IEEE Expert 8(3): 48-55 (1993) - [c8]Pedro Meseguer:
Expert System Validation through Knowledge Base Refinement. IJCAI 1993: 477-482 - [e1]Jesús Cardeñosa Lera, Pedro Meseguer:
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. Universidad Politécnica de Madrid 1993, ISBN 84-604-5817-2 [contents] - 1992
- [j3]Pedro Meseguer:
Towards a Conceptual Framework for Expert System Validation. AI Commun. 5(3): 119-135 (1992) - [c7]Pedro Meseguer:
Conventional Software and Expert Systems: Some Comparative Aspects Regarding Validation. AIFIPP 1992: 193-204 - [c6]Pedro Meseguer:
Incremental Verification of Rule-Based Expert Systems. ECAI 1992: 840-844 - [c5]Pedro Meseguer, Enric Plaza:
An Overview on the VALID Project. IFIP Congress (3) 1992: 238-244 - 1991
- [c4]Pedro Meseguer:
Verification of Multi-Level Rule-Based Expert Systems. AAAI 1991: 323-328 - [c3]Thomas Hoppe, Pedro Meseguer:
On the Terminology of VVT. EUROVAV 1991: 3-13 - [c2]Pedro Meseguer:
Structural and Performance Metrics for Rule-Based Expert Systems. EUROVAV 1991: 165-178 - 1990
- [j2]Beatriz López, Pedro Meseguer, Enric Plaza:
Knowledge Based Systems Validation: A State of the Art. AI Commun. 3(2): 58-72 (1990) - [c1]Pedro Meseguer:
A New Method to Checking Rule Bases for Inconsistency: A Petri Net Approach. ECAI 1990: 437-442
1980 – 1989
- 1989
- [j1]Pedro Meseguer:
Constraint Satisfaction Problems: An Overview. AI Commun. 2(1): 3-17 (1989)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-16 23:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
