Departament de Raonament i Lògica
Email: 
pedro@iiia.csic.es
Extension: 
237
Position: 
Scientific Staff
88 Publications
2004
Ismel Brito, Fernando Herrero, Pedro Meseguer; On the evaluation of DisCSP algorithms. The Fifth International Workshop on Distributed Constraint Reasoning (DCR04) Toronto, Canada September 27, 2004 held in conjunction with Tenth International Conference on Principles and Practice of Constraint Programming (CP 2004); 2004.
2003
Javier Larrosa, Pedro Meseguer; Algoritmos para satisfacción de Restricciones. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial; 2003.
Ismel Brito, Pedro Meseguer; Distributed Forward Checking. Principles and Practice of Constraint Programming; 2003.
Javier Larrosa, Pedro Meseguer; Restricciones blandas : Modelos y Algoritmos. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial; 2003.
Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex; Solving Max-SAT as Weighted CSP. Principles and Practice of Constraint Programming - CP 2003; 2003.
2002
Christian Bessière, Arnold Maestre, Pedro Meseguer; La famille ABT. 8èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, JNPC´02; 2002.
Javier Larrosa, Pedro Meseguer, Martí Sánchez; Pseudo-Tree Search with Soft Constraints. Proceedings of the 15th European Conference on Artificial Intelligence, ECAI-02; 2002.
2001
Christian Bessière, Arnold Maestre, Pedro Meseguer; Distributed Dynamic Backtracking. Proceedings of the IJCAI´01. Workshop on Distributed Constraint Reasoning; 2001.
Christian Bessière, Arnold Maestre, Pedro Meseguer; Dynamic Backtracking distribué. Proceedings Journées nationales sur la résolution pratique de problèmes NP-Complets, JNPC´2001; 2001.
1996
1995
1994
1993
1992
Pedro Meseguer, Enric Plaza; An overview on the VALID project. Personal Computers and Intelligent Systems; 1992.
Pedro Meseguer, Enric Plaza; Validation of KBS: The VALID Project. Enhancing the Knowledge Engineering Process; 1992.
1990
1989
1988