dblp.uni-trier.dewww.uni-trier.de

Pedro Meseguer Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
59EEIsmel Brito, Amnon Meisels, Pedro Meseguer, Roie Zivan: Distributed constraint satisfaction with partially known constraints. Constraints 14(2): 199-234 (2009)
2008
58EEIsmel Brito, Pedro Meseguer: Privacy in Distributed Meeting Scheduling. CCIA 2008: 118-127
57EEIsmel Brito, Pedro Meseguer: Connecting ABT with Arc Consistency. CP 2008: 387-401
56EEMeritxell 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
55EECarlos Hernández, Pedro Meseguer: Improving HLRTA*( k ). CAEPIA 2007: 110-119
54 Ismel Brito, Pedro Meseguer: Distributed Meeting Scheduling. CCIA 2007: 38-45
53EEIsmel Brito, Pedro Meseguer: Improving ABT Performance by Adding Synchronization Points. CSCLP 2007: 47-61
52EECarlos Hernández, Pedro Meseguer: Improving LRTA*(k). IJCAI 2007: 2312-2317
51EESantiago Macho González, Pedro Meseguer: Boosting MUS Extraction. SARA 2007: 285-299
2006
50EESantiago Macho González, Carlos Ansótegui, Pedro Meseguer: Boosting Open CSPs. CP 2006: 314-328
49EEIsmel Brito, Pedro Meseguer: Distributed Stable Matching Problems with Ties and Incomplete Lists. CP 2006: 675-679
48EEIsmel Brito, Pedro Meseguer: Distributed Forward Checking May Lie for Privacy. CSCLP 2006: 93-107
2005
47EECarlos Hernández, Pedro Meseguer: Propagating Updates in Real-Time Search: HLRTA*(k). CAEPIA 2005: 379-388
46EEIsmel Brito, Pedro Meseguer: Distributed Stable Matching Problems. CP 2005: 152-166
45EEMartí Sánchez, Javier Larrosa, Pedro Meseguer: Tree Decomposition with Function Filtering. CP 2005: 593-606
44EECarlos Hernández, Pedro Meseguer: LRTA*(k). IJCAI 2005: 1238-1243
43EEMartí Sánchez, Javier Larrosa, Pedro Meseguer: Improving Tree Decomposition Methods With Function Filtering. IJCAI 2005: 1537-1538
42EECarlos Hernández, Pedro Meseguer: Propagating updates in real-time search: FALCONS(k). SCCC 2005: 37-44
41EEChristian 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
40EEMartí 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
38EESimon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex: Solving Max-SAT as Weighted CSP. CP 2003: 363-376
37EEIsmel 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)
35EEJavier Larrosa, Pedro Meseguer: Algoritmos para Satisfacción de Restricciones. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 20: 31-42 (2003)
34EEJavier Larrosa, Pedro Meseguer: Restricciones Blanda: Modelos y Algoritmos. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 20: 69-82 (2003)
2002
33EEPedro 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
31EEChristian 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
29EEPedro Meseguer, Javier Larrosa, Martí Sánchez: Lower Bounds for Non-binary Constraint Optimization Problems. CP 2001: 317-331
28EEPedro Meseguer, Martí Sánchez: Specializing Russian Doll Search. CP 2001: 464-478
27EEChristian Bessière, Arnold Maestre, Pedro Meseguer: Distributed Dynamic Backtracking. CP 2001: 772
26EEPedro 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
22EEJavier 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
10EEThomas 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)

Coauthor Index

1Carlos Ansótegui [50]
2Christian Bessiere (Christian Bessière) [24] [27] [31] [41]
3Noureddine Bouhmala [36]
4Taoufik Bouzoubaa [36]
5Ismel Brito [37] [41] [46] [48] [49] [53] [54] [57] [58] [59]
6Jesús Cardeñosa [12]
7Jesús Cerquides [56]
8Eugene C. Freuder [24] [31]
9Andrea Giovannucci [56]
10Simon de Givry [38]
11Santiago Macho González [50] [51]
12Carlos Hernández [42] [44] [47] [52] [55]
13Thomas Hoppe [3] [10]
14Morten Irgens [36]
15Javier Larrosa [13] [14] [15] [16] [18] [20] [21] [22] [24] [25] [29] [30] [31] [32] [34] [35] [38] [39] [40] [43] [45]
16Arnold Maestre [27] [41]
17Amnon Meisels [59]
18Enric Plaza [7]
19Juan A. Rodríguez-Aguilar [56]
20Martí Sánchez [28] [29] [32] [33] [36] [39] [40] [43] [45]
21Thomas Schiex [21] [22] [38]
22Carme Torras [23] [26]
23Gérard Verfaillie [21] [33]
24Meritxell Vinyals [56]
25Toby Walsh [19]
26Roie Zivan [59]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)