| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Patricia Gutierrez, Pedro Meseguer |
Distributed Constraint Optimization Problems Related with Soft Arc Consistency.  |
IJCAI  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Patricia Gutierrez, Pedro Meseguer, William Yeoh |
Generalizing ADOPT and BnB-ADOPT. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Carlos Hernández, Xiaoxun Sun, Sven Koenig, Pedro Meseguer |
Tree Adaptive A. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Pedro Meseguer, Francesca Rossi, Thomas Schiex |
Introduction to the special issue on Constraint-based approaches to Preference Modelling and Reasoning. |
Constraints |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismel Brito, Pedro Meseguer |
Cluster Tree Elimination for Distributed Constraint Optimization with Quality Guarantees. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Gutierrez, Pedro Meseguer |
BnB-ADOPT+ with Several Soft Arc Consistency Levels. |
ECAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Pedro 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 |
CAEPIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismel Brito, Pedro Meseguer |
Improving DPOP with function filtering. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Gutierrez, Pedro Meseguer |
Saving Redundant Messages in BnB-ADOPT. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ismel Brito, Amnon Meisels, Pedro Meseguer, Roie Zivan |
Distributed constraint satisfaction with partially known constraints. |
Constraints |
2009 |
DBLP DOI BibTeX RDF |
Distributed CSPs, Asynchronous search, Privacy, Entropy |
| 1 | Carlos Hernández, Pedro Meseguer, Xiaoxun Sun, Sven Koenig |
Path-Adaptive A* for Incremental Heuristic Search in Unknown Terrain. |
ICAPS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Javier Herranz, Stan Matwin, Pedro Meseguer, Jordi Nin |
A Cryptographic Solution for Private Distributed Simple Meeting Scheduling. |
CCIA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Gutierrez, Pedro Meseguer |
Connecting BnB-ADOPT with Soft Arc Consistency: Initial Results. |
CSCLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismel Brito, Pedro Meseguer |
Privacy in Distributed Meeting Scheduling. |
CCIA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismel Brito, Pedro Meseguer |
Connecting ABT with Arc Consistency. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Hernández, Pedro Meseguer |
Improving LRTA*(k). |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Santiago Macho González, Pedro Meseguer |
Boosting MUS Extraction. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismel Brito, Pedro Meseguer |
Distributed Meeting Scheduling. |
CCIA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ismel Brito, Pedro Meseguer |
Improving ABT Performance by Adding Synchronization Points. |
CSCLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Hernández, Pedro Meseguer |
Improving HLRTA*( k ). |
CAEPIA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismel Brito, Pedro Meseguer |
Distributed Forward Checking May Lie for Privacy. |
CSCLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Macho González, Carlos Ansótegui, Pedro Meseguer |
Boosting Open CSPs. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismel Brito, Pedro Meseguer |
Distributed Stable Matching Problems with Ties and Incomplete Lists. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bessière, Arnold Maestre, Ismel Brito, Pedro Meseguer |
Asynchronous backtracking without adding links: a new member in the ABT family. |
Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Hernández, Pedro Meseguer |
LRTA*(k). |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Martí Sánchez, Javier Larrosa, Pedro Meseguer |
Improving Tree Decomposition Methods With Function Filtering. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Carlos Hernández, Pedro Meseguer |
Propagating updates in real-time search: FALCONS(k). |
SCCC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Hernández, Pedro Meseguer |
Propagating Updates in Real-Time Search: HLRTA*(k). |
CAEPIA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martí Sánchez, Javier Larrosa, Pedro Meseguer |
Tree Decomposition with Function Filtering. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismel Brito, Pedro Meseguer |
Distributed Stable Matching Problems. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martí Sánchez, Pedro Meseguer, Javier Larrosa |
Using Constraints with Memory to Implement Variable Elimination. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Martí Sánchez, Pedro Meseguer, Javier Larrosa |
Improving the Applicability of Adaptive Consistency: Preliminary Results. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Larrosa, Pedro Meseguer |
Algoritmos para Satisfacción de Restricciones. |
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial |
2003 |
DBLP BibTeX RDF |
|
| 1 | Javier Larrosa, Pedro Meseguer |
Restricciones Blanda: Modelos y Algoritmos. |
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial |
2003 |
DBLP BibTeX RDF |
|
| 1 | Pedro Meseguer, Noureddine Bouhmala, Taoufik Bouzoubaa, Morten Irgens, Martí Sánchez |
Current Approaches for Solving Over-Constrained Problems. |
Constraints |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismel Brito, Pedro Meseguer |
Distributed Forward Checking. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex |
Solving Max-SAT as Weighted CSP. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Larrosa, Pedro Meseguer |
Partition-Based Lower Bound for Max-CSP. |
Constraints |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bessière, Pedro Meseguer, Eugene C. Freuder, Javier Larrosa |
On forward checking for non-binary constraint satisfaction. |
Artif. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Larrosa, Pedro Meseguer, Martí Sánchez |
Pseudo-tree Search with Soft Constraints. |
ECAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Pedro Meseguer, Martí Sánchez, Gérard Verfaillie |
Opportunistic Specialization in Russian Doll Search. |
CP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Pedro Meseguer, Carme Torras |
Exploiting symmetries within constraint satisfaction search. |
Artif. Intell. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Meseguer, Javier Larrosa, Martí Sánchez |
Lower Bounds for Non-binary Constraint Optimization Problems. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Meseguer, Martí Sánchez |
Specializing Russian Doll Search. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bessière, Arnold Maestre, Pedro Meseguer |
Distributed Dynamic Backtracking. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Larrosa, Pedro Meseguer, Thomas Schiex |
Maintaining Reversible DAC for Max-CSP. |
Artif. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Meseguer, Carme Torras |
Solving Strategies for Highly Symmetric CSPs. |
IJCAI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Javier Larrosa, Pedro Meseguer |
Partition-Based Lower Bound for Max-CSP. |
CP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bessière, Pedro Meseguer, Eugene C. Freuder, Javier Larrosa |
On Forward Checking for Non-binary Constraint Satisfaction. |
CP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Javier Larrosa, Pedro Meseguer |
Partial Lazy Forward Checking for MAX-CSP. |
ECAI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Pedro Meseguer, Toby Walsh |
Interleaved and Discrepancy Based Search. |
ECAI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Javier Larrosa, Pedro Meseguer |
Generic CSP Techniques for the Job-Shop Problem. |
IEA/AIE (Vol. 2) |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Larrosa, Pedro Meseguer, Thomas Schiex, Gérard Verfaillie |
Reversible DAC and Other Improvements for Solving Max-CSP. |
AAAI/IAAI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Pedro Meseguer |
Interleaved Depth-First Search. |
IJCAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | Javier Larrosa, Pedro Meseguer |
Phase Transition in MAX-CSP. |
ECAI |
1996 |
DBLP BibTeX RDF |
|
| 1 | Javier Larrosa, Pedro Meseguer |
Exploiting the Use of DAC in MAX-CSP. |
CP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Meseguer, Javier Larrosa |
Constraint Satisfaction as Global Optimization. |
IJCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Javier Larrosa, Pedro Meseguer |
Optimization-based Heuristics for Maximal Constraint Satisfaction. |
CP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Hoppe, Pedro Meseguer |
VVT Terminology: A Proposal. |
IEEE Expert |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesú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 |
EUROVAV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Pedro Meseguer |
Expert System Validation through Knowledge Base Refinement. |
IJCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Pedro Meseguer |
Towards a Conceptual Framework for Expert System Validation. |
AI Commun. |
1992 |
DBLP BibTeX RDF |
|
| 1 | Pedro Meseguer |
Conventional Software and Expert Systems: Some Comparative Aspects Regarding Validation. |
AIFIPP |
1992 |
DBLP BibTeX RDF |
|
| 1 | Pedro Meseguer |
Incremental Verification of Rule-Based Expert Systems. |
ECAI |
1992 |
DBLP BibTeX RDF |
|
| 1 | Pedro Meseguer, Enric Plaza |
An Overview on the VALID Project. |
IFIP Congress |
1992 |
DBLP BibTeX RDF |
|
| 1 | Thomas Hoppe, Pedro Meseguer |
On the Terminology of VVT. |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | Pedro Meseguer |
Structural and Performance Metrics for Rule-Based Expert Systems. |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | Pedro Meseguer |
Verification of Multi-Level Rule-Based Expert Systems. |
AAAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Pedro Meseguer |
A New Method to Checking Rule Bases for Inconsistency: A Petri Net Approach. |
ECAI |
1990 |
DBLP BibTeX RDF |
|
| 1 | Pedro Meseguer |
Constraint Satisfaction Problems: An Overview. |
AI Commun. |
1989 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")