Searching for authors named "Pedro Meseguer" – sorted by Relevance.
-
Expert System Validation Through Knowledge Base Refinement
- Expert System Validation through Knowledge Base Refinement Pedro Meseguer + Institut d
- Cited by 7 (0 self) – Add To MetaCart
-
Improving Convergence of LRTA*
- Improving Convergence of LRTA* Carlos Hernández and Pedro Meseguer Institut d’Investigació en
- Add To MetaCart
-
Specializing Russian Doll Search
- Specializing Russian Doll Search ? Pedro Meseguer and Mart`i S'anchez IIIA-CSIC, Campus UAB
- Cited by 9 (0 self) – Add To MetaCart
-
On the Evaluation of DisCSP Algorithms
- On the Evaluation of DisCSP Algorithms � Ismel Brito, Fernando Herrero, and Pedro Meseguer
- Cited by 2 (0 self) – Add To MetaCart
-
Improving convergence of LRTA*(k
- Improving Convergence of LRTA*(k) ∗ Carlos Hernández and Pedro Meseguer Institut d’Investigació en
- Cited by 6 (1 self) – Add To MetaCart
-
Distributed stable matching problems with ties and incomplete lists
- Distributed Stable Matching Problems with Ties and Incomplete Lists Ismel Brito and Pedro Meseguer
- Cited by 2 (1 self) – Add To MetaCart
-
Generic CSP Techniques for the Job-Shop Problem
- Generic CSP Techniques for the Job-Shop Problem * Javier Larrosa 1 and Pedro Meseguer 2 1
- Cited by 1 (0 self) – Add To MetaCart
-
Interleaved and Discrepancy Based Search
- Interleaved and Discrepancy Based Search Pedro Meseguer 1 and Toby Walsh 2 Abstract. We present
- Cited by 20 (4 self) – Add To MetaCart
-
Assessing the Role of Formal Specifications in Verification and Validation of KnowledgeBased Systems
- Systems Pedro Meseguer IIIA - Artificial Intelligence Research Institute CSIC - Spanish Scientific
- Add To MetaCart
-
Distributed Dynamic Backtracking
- bessiere@(email omitted); Arnold Maestre LIRMM-CNRS 161 rue Ada 34392 Montpellier France maestre@(email omitted); Pedro
- Cited by 41 (2 self) – Add To MetaCart

