The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pedro Meseguer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  52. Saving Redundant Messages in BnB-ADOPT. [Citation Graph (, )][DBLP]


  53. Path-Adaptive A* for Incremental Heuristic Search in Unknown Terrain. [Citation Graph (, )][DBLP]


  54. Improving DPOP with function filtering. [Citation Graph (, )][DBLP]


  55. Privacy in Distributed Meeting Scheduling. [Citation Graph (, )][DBLP]


  56. Distributed Meeting Scheduling. [Citation Graph (, )][DBLP]


  57. A Cryptographic Solution for Private Distributed Simple Meeting Scheduling. [Citation Graph (, )][DBLP]


  58. Connecting ABT with Arc Consistency. [Citation Graph (, )][DBLP]


  59. Improving ABT Performance by Adding Synchronization Points. [Citation Graph (, )][DBLP]


  60. BnB-ADOPT+ with Several Soft Arc Consistency Levels. [Citation Graph (, )][DBLP]


  61. Propagating updates in real-time search: FALCONS(k). [Citation Graph (, )][DBLP]


  62. Distributed constraint satisfaction with partially known constraints. [Citation Graph (, )][DBLP]


Search in 0.073secs, Finished in 0.075secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002