REPLI REPLI

REPLI REPLI

 : 

Constraint-based reasoning and combinatorial optimization: Application to planning and uncertainty management Constraint-based reasoning and combinatorial optimization: Application to planning and uncertainty management

A Project coordinated by IIIA.

Principal investigator:

Pedro Meseguer Pedro Meseguer

Team members:

      Collaborating organisations:

      Funding entity:

      TIC2002-04470-C03-03 TIC2002-04470-C03-03

      Funding call:

      Project #:

      REPLI REPLI

      Funding amount:

      0,00€ 0,00€

      Duration:

      2002-11-01 2002-11-01

       -

      2005-10-31 2005-10-31
      2005
      Christian BessièreIsmel BritoArnold MaestrePedro Meseguer; Asynchronous Backtracking without Adding Links: A new Member in the ABT Family. Artificial Intelligence; 2005.  [PDF]  [BibTeX]
      Ismel BritoPedro Meseguer; Distributed Stable Marriage Problem. 2005.  [BibTeX]
      Ismel BritoPedro Meseguer; Distributed Stable Matching Problems. 2005.  [BibTeX]
      Carlos HernándezPedro Meseguer; Improving Convergence of LRTA*(k). 2005.  [PDF]  [BibTeX]
      Carlos HernándezPedro Meseguer; LRTA*(k). 2005.  [PDF]  [BibTeX]
      Santiago Macho-GonzálezPedro Meseguer; Open, interactive and dynamic CSP. 2005.  [PDF]  [BibTeX]
      Pedro MeseguerMartí SánchezJavier Larrosa; Tree decomposition with function filtering. 2005.  [BibTeX]
      2004
      Martí SánchezPedro MeseguerJavier Larrosa; Improving the applicability of adaptive consistency : preliminary results. 2004.  [BibTeX]
      Ismel BritoFernando HerreroPedro Meseguer; On the evaluation of DisCSP algorithms. 2004.  [PDF]  [BibTeX]
      2003
      Ismel BritoPedro Meseguer; Distributed Forward Checking. Principles and Practice of Constraint Programming; 2003.  [BibTeX]
      Simon de GivryJavier LarrosaPedro MeseguerThomas Schiex; Solving Max-SAT as Weighted CSP. Principles and Practice of Constraint Programming - CP 2003; 2003.  [BibTeX]
      2002
      Christian BessièreArnold MaestrePedro Meseguer; La famille ABT. 2002.  [BibTeX]