REPLI
: Constraint-based reasoning and combinatorial optimization: Application to planning and uncertainty management
A Project coordinated by IIIA.
Principal investigator:
Collaborating organisations:
2005
Christian Bessière,
Ismel Brito,
Arnold Maestre,
& Pedro Meseguer
(2005).
Asynchronous Backtracking without Adding Links: A new Member in the ABT Family.
Artificial Intelligence, 161, 7-24.
[BibTeX]
[PDF]
Ismel Brito,
& Pedro Meseguer
(2005).
Distributed Stable Marriage Problem.
Amnon Meisels (Eds.),
Distributed Constraint Reasoning (DCR05) Proceedings of the Sixth International Workshop Edinburgh, Scotland, 30 July, 2005
(pp. 135 - 147).
IJCAI.
[BibTeX]
Ismel Brito,
& Pedro Meseguer
(2005).
Distributed Stable Matching Problems.
Peter Beek (Eds.),
Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings (pp 152 166).
Springer-Verlag.
[BibTeX]
Carlos Hernández,
& Pedro Meseguer
(2005).
Improving Convergence of LRTA*(k).
Vadim Bulitko, & Sven Koenig (Eds.),
Proceedings of the IJCAI 2005 Workshop on Planning and Learning in a Priori Unknown or Dynamic Domains
(pp. 69 - 75).
[BibTeX]
[PDF]
Carlos Hernández,
& Pedro Meseguer
(2005).
LRTA*(k).
Leslie Pack Kaelbling, & Alessandro Saffiotti (Eds.),
IJCAI ? 05. Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence
(pp. 1238 - 1243).
IJCAI - On line.
[BibTeX]
[PDF]
Santiago Macho-González,
& Pedro Meseguer
(2005).
Open, interactive and dynamic CSP.
Gérard Verfaillie Ken Brown (Eds.),
Changes'05 International Workshop on Constraint Solving under Change and Uncertainty
(pp. 13 - 17).
[BibTeX]
[PDF]
Pedro Meseguer,
Martí Sánchez,
& Javier Larrosa
(2005).
Tree decomposition with function filtering.
P Beek (Eds.),
Lecture Notes in Computer Science
(pp. 593 - 606).
Springer-Verlag.
[BibTeX]
2004
Martí Sánchez,
Pedro Meseguer,
& Javier Larrosa
(2004).
Improving the applicability of adaptive consistency : preliminary results.
Mark Wallace (Eds.),
Lecture notes in computer science
(pp. 757-761).
Springer.
[BibTeX]
Ismel Brito,
Fernando Herrero,
& Pedro Meseguer
(2004).
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)
(pp. 142-151).
[BibTeX]
[PDF]
2003
Ismel Brito,
& Pedro Meseguer
(2003).
Distributed Forward Checking.
Principles and Practice of Constraint Programming, LNCS 2833, 801-806.
[BibTeX]
Simon Givry,
Javier Larrosa,
Pedro Meseguer,
& Thomas Schiex
(2003).
Solving Max-SAT as Weighted CSP.
Principles and Practice of Constraint Programming - CP 2003, LNCS 2833, 363-376.
[BibTeX]
2002
Christian Bessière,
Arnold Maestre,
& Pedro Meseguer
(2002).
La famille ABT.
Institut National Automatique (Eds.),
8èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, JNPC'02
(pp. 57-67).
Institut National de Recherche en Informatique et en Automatique.
[BibTeX]
