Willy LESAINT

Maître de conférences
Université d'Orléans
willy.lessaint[at]univ-orleans.fr

Pour une liste indépendante de l'affiliation, consulter DBLP.

  • 2015 - (1)

  • 2010 - (3)

  • 2006 - (1)

    • Revue internationale à comité de lecture - (1)

      • Explanations and Proof Trees
        Auteur(s) : Willy LESAINT, Gérard FERRAND, Alexandre TESSIER

        HAL : 85545
  • 2004 - (2)

    • Publications dans les actes d'un congrès international avec comité de lecture - (2)

      • Explanations to Understand the Trace of a Finite Domain Constraint Solver
        Auteur(s) : Willy LESAINT, Gérard FERRAND, Alexandre TESSIER

        HAL : 85550
      • Explications pour Comprendre la Trace d'un Solveur de Contraintes sur Domaines Finis
        Auteur(s) : Willy LESAINT, Gérard FERRAND, Alexandre TESSIER

        HAL : 85554
  • 2003 - (2)

    • Publications dans les actes d'un congrès international avec comité de lecture - (2)

      • Towards declarative diagnosis of constraint programs over finite domains
        Auteur(s) : Willy LESAINT, Gérard FERRAND, Alexandre TESSIER

        HAL : 459189
      • Correctness of Constraint Retraction Algorithms
        Auteur(s) : Willy LESAINT, Romuald DEBRUYNE, Gérard FERRAND, Narendra JUSSIEN, Samir OUIS, Alexandre TESSIER

        HAL : 85555
  • 2002 - (2)

    • Publications dans les actes d'un congrès international avec comité de lecture - (2)

      • Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction
        Auteur(s) : Willy LESAINT, Gérard FERRAND, Alexandre TESSIER

        HAL : 459199
      • Value Withdrawal Explanations: a Theoretical Tool for Programming Environments
        Auteur(s) : Willy LESAINT

        HAL : 459195
  • 2000 - (1)

    • Publications dans les actes d'un congrès international avec comité de lecture - (1)

      • Value Withdrawal Explanation in CSP
        Auteur(s) : Willy LESAINT, Gerard FERRAND, Alexandre TESSIER

        HAL : 459217