| 2008 |
|---|
| 58 | EE | Ismel Brito,
Pedro Meseguer:
Privacy in Distributed Meeting Scheduling.
CCIA 2008: 118-127 |
| 57 | EE | Ismel Brito,
Pedro Meseguer:
Connecting ABT with Arc Consistency.
CP 2008: 387-401 |
| 56 | EE | 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) |
| 2007 |
|---|
| 55 | EE | Carlos Hernández,
Pedro Meseguer:
Improving HLRTA*( k ).
CAEPIA 2007: 110-119 |
| 54 | | Ismel Brito,
Pedro Meseguer:
Distributed Meeting Scheduling.
CCIA 2007: 38-45 |
| 53 | EE | Ismel Brito,
Pedro Meseguer:
Improving ABT Performance by Adding Synchronization Points.
CSCLP 2007: 47-61 |
| 52 | EE | Carlos Hernández,
Pedro Meseguer:
Improving LRTA*(k).
IJCAI 2007: 2312-2317 |
| 51 | EE | Santiago Macho González,
Pedro Meseguer:
Boosting MUS Extraction.
SARA 2007: 285-299 |
| 2006 |
|---|
| 50 | EE | Santiago Macho González,
Carlos Ansótegui,
Pedro Meseguer:
Boosting Open CSPs.
CP 2006: 314-328 |
| 49 | EE | Ismel Brito,
Pedro Meseguer:
Distributed Stable Matching Problems with Ties and Incomplete Lists.
CP 2006: 675-679 |
| 48 | EE | Ismel Brito,
Pedro Meseguer:
Distributed Forward Checking May Lie for Privacy.
CSCLP 2006: 93-107 |
| 2005 |
|---|
| 47 | EE | Carlos Hernández,
Pedro Meseguer:
Propagating Updates in Real-Time Search: HLRTA*(k).
CAEPIA 2005: 379-388 |
| 46 | EE | Ismel Brito,
Pedro Meseguer:
Distributed Stable Matching Problems.
CP 2005: 152-166 |
| 45 | EE | Martí Sánchez,
Javier Larrosa,
Pedro Meseguer:
Tree Decomposition with Function Filtering.
CP 2005: 593-606 |
| 44 | EE | Carlos Hernández,
Pedro Meseguer:
LRTA*(k).
IJCAI 2005: 1238-1243 |
| 43 | EE | Martí Sánchez,
Javier Larrosa,
Pedro Meseguer:
Improving Tree Decomposition Methods With Function Filtering.
IJCAI 2005: 1537-1538 |
| 42 | EE | Carlos Hernández,
Pedro Meseguer:
Propagating updates in real-time search: FALCONS(k).
SCCC 2005: 37-44 |
| 41 | EE | 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) |
| 2004 |
|---|
| 40 | EE | Martí Sánchez,
Pedro Meseguer,
Javier Larrosa:
Improving the Applicability of Adaptive Consistency: Preliminary Results.
CP 2004: 757-761 |
| 39 | | Martí Sánchez,
Pedro Meseguer,
Javier Larrosa:
Using Constraints with Memory to Implement Variable Elimination.
ECAI 2004: 216-220 |
| 2003 |
|---|
| 38 | EE | Simon de Givry,
Javier Larrosa,
Pedro Meseguer,
Thomas Schiex:
Solving Max-SAT as Weighted CSP.
CP 2003: 363-376 |
| 37 | EE | Ismel Brito,
Pedro Meseguer:
Distributed Forward Checking.
CP 2003: 801-806 |
| 36 | | Pedro Meseguer,
Noureddine Bouhmala,
Taoufik Bouzoubaa,
Morten Irgens,
Martí Sánchez:
Current Approaches for Solving Over-Constrained Problems.
Constraints 8(1): 9-39 (2003) |
| 35 | EE | Javier Larrosa,
Pedro Meseguer:
Algoritmos para Satisfacción de Restricciones.
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 20: 31-42 (2003) |
| 34 | EE | Javier Larrosa,
Pedro Meseguer:
Restricciones Blanda: Modelos y Algoritmos.
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 20: 69-82 (2003) |
| 2002 |
|---|
| 33 | EE | Pedro Meseguer,
Martí Sánchez,
Gérard Verfaillie:
Opportunistic Specialization in Russian Doll Search.
CP 2002: 264-279 |
| 32 | | Javier Larrosa,
Pedro Meseguer,
Martí Sánchez:
Pseudo-tree Search with Soft Constraints.
ECAI 2002: 131-135 |
| 31 | EE | 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) |
| 30 | | Javier Larrosa,
Pedro Meseguer:
Partition-Based Lower Bound for Max-CSP.
Constraints 7(3-4): 407-419 (2002) |
| 2001 |
|---|
| 29 | EE | Pedro Meseguer,
Javier Larrosa,
Martí Sánchez:
Lower Bounds for Non-binary Constraint Optimization Problems.
CP 2001: 317-331 |
| 28 | EE | Pedro Meseguer,
Martí Sánchez:
Specializing Russian Doll Search.
CP 2001: 464-478 |
| 27 | EE | Christian Bessière,
Arnold Maestre,
Pedro Meseguer:
Distributed Dynamic Backtracking.
CP 2001: 772 |
| 26 | EE | Pedro Meseguer,
Carme Torras:
Exploiting symmetries within constraint satisfaction search.
Artif. Intell. 129(1-2): 133-163 (2001) |
| 1999 |
|---|
| 25 | | Javier Larrosa,
Pedro Meseguer:
Partition-Based Lower Bound for Max-CSP.
CP 1999: 303-315 |
| 24 | | Christian Bessière,
Pedro Meseguer,
Eugene C. Freuder,
Javier Larrosa:
On Forward Checking for Non-binary Constraint Satisfaction.
CP 1999: 88-102 |
| 23 | | Pedro Meseguer,
Carme Torras:
Solving Strategies for Highly Symmetric CSPs.
IJCAI 1999: 400-405 |
| 22 | EE | Javier Larrosa,
Pedro Meseguer,
Thomas Schiex:
Maintaining Reversible DAC for Max-CSP.
Artif. Intell. 107(1): 149-163 (1999) |
| 1998 |
|---|
| 21 | | Javier Larrosa,
Pedro Meseguer,
Thomas Schiex,
Gérard Verfaillie:
Reversible DAC and Other Improvements for Solving Max-CSP.
AAAI/IAAI 1998: 347-352 |
| 20 | | Javier Larrosa,
Pedro Meseguer:
Partial Lazy Forward Checking for MAX-CSP.
ECAI 1998: 229-233 |
| 19 | | Pedro Meseguer,
Toby Walsh:
Interleaved and Discrepancy Based Search.
ECAI 1998: 239-243 |
| 18 | | Javier Larrosa,
Pedro Meseguer:
Generic CSP Techniques for the Job-Shop Problem.
IEA/AIE (Vol. 2) 1998: 46-55 |
| 1997 |
|---|
| 17 | | Pedro Meseguer:
Interleaved Depth-First Search.
IJCAI 1997: 1382-1387 |
| 1996 |
|---|
| 16 | | Javier Larrosa,
Pedro Meseguer:
Exploiting the Use of DAC in MAX-CSP.
CP 1996: 308-322 |
| 15 | | Javier Larrosa,
Pedro Meseguer:
Phase Transition in MAX-CSP.
ECAI 1996: 190-194 |
| 1995 |
|---|
| 14 | | Javier Larrosa,
Pedro Meseguer:
Optimization-based Heuristics for Maximal Constraint Satisfaction.
CP 1995: 103-120 |
| 13 | | Pedro Meseguer,
Javier Larrosa:
Constraint Satisfaction as Global Optimization.
IJCAI (1) 1995: 579-585 |
| 1993 |
|---|
| 12 | | Jesús Cardeñosa,
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 |
| 11 | | Pedro Meseguer:
Expert System Validation through Knowledge Base Refinement.
IJCAI 1993: 477-482 |
| 10 | EE | Thomas Hoppe,
Pedro Meseguer:
VVT Terminology: A Proposal.
IEEE Expert 8(3): 48-55 (1993) |
| 1992 |
|---|
| 9 | | Pedro Meseguer:
Conventional Software and Expert Systems: Some Comparative Aspects Regarding Validation.
AIFIPP 1992: 193-204 |
| 8 | | Pedro Meseguer:
Incremental Verification of Rule-Based Expert Systems.
ECAI 1992: 840-844 |
| 7 | | Pedro Meseguer,
Enric Plaza:
An Overview on the VALID Project.
IFIP Congress (3) 1992: 238-244 |
| 6 | | Pedro Meseguer:
Towards a Conceptual Framework for Expert System Validation.
AI Commun. 5(3): 119-135 (1992) |
| 1991 |
|---|
| 5 | | Pedro Meseguer:
Verification of Multi-Level Rule-Based Expert Systems.
AAAI 1991: 323-328 |
| 4 | | Pedro Meseguer:
Structural and Performance Metrics for Rule-Based Expert Systems.
EUROVAV 1991: 165-178 |
| 3 | | Thomas Hoppe,
Pedro Meseguer:
On the Terminology of VVT.
EUROVAV 1991: 3-13 |
| 1990 |
|---|
| 2 | | Pedro Meseguer:
A New Method to Checking Rule Bases for Inconsistency: A Petri Net Approach.
ECAI 1990: 437-442 |
| 1989 |
|---|
| 1 | | Pedro Meseguer:
Constraint Satisfaction Problems: An Overview.
AI Commun. 2(1): 3-17 (1989) |
