Search the dblp DataBase
Pedro Meseguer :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Pedro Meseguer Constraint Satisfaction Problems: An Overview. [Citation Graph (1, 0)][DBLP ] AI Commun., 1989, v:2, n:1, pp:3-17 [Journal ] 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 ] Pedro Meseguer Verification of Multi-Level Rule-Based Expert Systems. [Citation Graph (0, 0)][DBLP ] AAAI, 1991, pp:323-328 [Conf ] Pedro Meseguer Conventional Software and Expert Systems: Some Comparative Aspects Regarding Validation. [Citation Graph (0, 0)][DBLP ] AIFIPP, 1992, pp:193-204 [Conf ] Carlos Hernández , Pedro Meseguer Propagating Updates in Real-Time Search: HLRTA*(k ). [Citation Graph (0, 0)][DBLP ] CAEPIA, 2005, pp:379-388 [Conf ] Ismel Brito , Pedro Meseguer Distributed Forward Checking. [Citation Graph (0, 0)][DBLP ] CP, 2003, pp:801-806 [Conf ] Christian Bessière , Arnold Maestre , Pedro Meseguer Distributed Dynamic Backtracking. [Citation Graph (0, 0)][DBLP ] CP, 2001, pp:772- [Conf ] 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 ] Ismel Brito , Pedro Meseguer Distributed Stable Matching Problems. [Citation Graph (0, 0)][DBLP ] CP, 2005, pp:152-166 [Conf ] Ismel Brito , Pedro Meseguer Distributed Stable Matching Problems with Ties and Incomplete Lists. [Citation Graph (0, 0)][DBLP ] CP, 2006, pp:675-679 [Conf ] 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 ] Santiago Macho González , Carlos Ansótegui , Pedro Meseguer Boosting Open CSPs. [Citation Graph (0, 0)][DBLP ] CP, 2006, pp:314-328 [Conf ] Javier Larrosa , Pedro Meseguer Optimization-based Heuristics for Maximal Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] CP, 1995, pp:103-120 [Conf ] Javier Larrosa , Pedro Meseguer Exploiting the Use of DAC in MAX-CSP. [Citation Graph (0, 0)][DBLP ] CP, 1996, pp:308-322 [Conf ] Javier Larrosa , Pedro Meseguer Partition-Based Lower Bound for Max-CSP. [Citation Graph (0, 0)][DBLP ] CP, 1999, pp:303-315 [Conf ] 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 ] Pedro Meseguer , Martí Sánchez Specializing Russian Doll Search. [Citation Graph (0, 0)][DBLP ] CP, 2001, pp:464-478 [Conf ] 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 ] Martí Sánchez , Javier Larrosa , Pedro Meseguer Tree Decomposition with Function Filtering. [Citation Graph (0, 0)][DBLP ] CP, 2005, pp:593-606 [Conf ] 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 ] Javier Larrosa , Pedro Meseguer Phase Transition in MAX-CSP. [Citation Graph (0, 0)][DBLP ] ECAI, 1996, pp:190-194 [Conf ] Javier Larrosa , Pedro Meseguer Partial Lazy Forward Checking for MAX-CSP. [Citation Graph (0, 0)][DBLP ] ECAI, 1998, pp:229-233 [Conf ] Javier Larrosa , Pedro Meseguer , Martí Sánchez Pseudo-tree Search with Soft Constraints. [Citation Graph (0, 0)][DBLP ] ECAI, 2002, pp:131-135 [Conf ] Pedro Meseguer Incremental Verification of Rule-Based Expert Systems. [Citation Graph (0, 0)][DBLP ] ECAI, 1992, pp:840-844 [Conf ] Pedro Meseguer , Toby Walsh Interleaved and Discrepancy Based Search. [Citation Graph (0, 0)][DBLP ] ECAI, 1998, pp:239-243 [Conf ] 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 ] Pedro Meseguer Structural and Performance Metrics for Rule-Based Expert Systems. [Citation Graph (0, 0)][DBLP ] EUROVAV, 1991, pp:165-178 [Conf ] Thomas Hoppe , Pedro Meseguer On the Terminology of VVT. [Citation Graph (0, 0)][DBLP ] EUROVAV, 1991, pp:3-13 [Conf ] 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 ] Pedro Meseguer , Enric Plaza An Overview on the VALID Project. [Citation Graph (0, 0)][DBLP ] IFIP Congress (3), 1992, pp:238-244 [Conf ] Carlos Hernández , Pedro Meseguer LRTA*(k). [Citation Graph (0, 0)][DBLP ] IJCAI, 2005, pp:1238-1243 [Conf ] Pedro Meseguer Expert System Validation through Knowledge Base Refinement. [Citation Graph (0, 0)][DBLP ] IJCAI, 1993, pp:477-482 [Conf ] Pedro Meseguer Interleaved Depth-First Search. [Citation Graph (0, 0)][DBLP ] IJCAI, 1997, pp:1382-1387 [Conf ] Pedro Meseguer , Javier Larrosa Constraint Satisfaction as Global Optimization. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:579-585 [Conf ] Pedro Meseguer , Carme Torras Solving Strategies for Highly Symmetric CSPs. [Citation Graph (0, 0)][DBLP ] IJCAI, 1999, pp:400-405 [Conf ] 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 ] Carlos Hernández , Pedro Meseguer Improving LRTA*(k). [Citation Graph (0, 0)][DBLP ] IJCAI, 2007, pp:2312-2317 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Thomas Hoppe , Pedro Meseguer VVT Terminology: A Proposal. [Citation Graph (0, 0)][DBLP ] IEEE Expert, 1993, v:8, n:3, pp:48-55 [Journal ] Carlos Hernández , Pedro Meseguer Improving HLRTA*( k ). [Citation Graph (0, 0)][DBLP ] CAEPIA, 2007, pp:110-119 [Conf ] Ismel Brito , Pedro Meseguer Distributed Forward Checking May Lie for Privacy. [Citation Graph (0, 0)][DBLP ] CSCLP, 2006, pp:93-107 [Conf ] Santiago Macho González , Pedro Meseguer Boosting MUS Extraction. [Citation Graph (0, 0)][DBLP ] SARA, 2007, pp:285-299 [Conf ] Saving Redundant Messages in BnB-ADOPT. [Citation Graph (, )][DBLP ] Path-Adaptive A* for Incremental Heuristic Search in Unknown Terrain. [Citation Graph (, )][DBLP ] Improving DPOP with function filtering. [Citation Graph (, )][DBLP ] Privacy in Distributed Meeting Scheduling. [Citation Graph (, )][DBLP ] Distributed Meeting Scheduling. [Citation Graph (, )][DBLP ] A Cryptographic Solution for Private Distributed Simple Meeting Scheduling. [Citation Graph (, )][DBLP ] Connecting ABT with Arc Consistency. [Citation Graph (, )][DBLP ] Improving ABT Performance by Adding Synchronization Points. [Citation Graph (, )][DBLP ] BnB-ADOPT+ with Several Soft Arc Consistency Levels. [Citation Graph (, )][DBLP ] Propagating updates in real-time search: FALCONS(k). [Citation Graph (, )][DBLP ] Distributed constraint satisfaction with partially known constraints. [Citation Graph (, )][DBLP ] Search in 0.005secs, Finished in 0.008secs