Willy Lesaint

Publication Activity (10 Years)

Years Active: 2000-2010
Publications (10 Years): 0

Publications

Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier, Willy Lesaint
Property Grammar Parsing Seen as a Constraint Optimization Problem. FG (2010)
Gérard Ferrand, Willy Lesaint, Alexandre Tessier
Explanations and Proof Trees. Comput. Artif. Intell. 25 (2-3) (2006)
Gérard Ferrand, Willy Lesaint, Alexandre Tessier
Explanations and Proof Trees. ExaCt (2005)
Gérard Ferrand, Willy Lesaint, Alexandre Tessier
Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis. JFPLC (2004)
Gérard Ferrand, Willy Lesaint, Alexandre Tessier
Explanations to Understand the Trace of a Finite Domain Constraint Solver. WLPE (2004)
Gérard Ferrand, Willy Lesaint, Alexandre Tessier
Towards declarative diagnosis of constraint programs over finite domains CoRR (2003)
Romuald Debruyne, Gérard Ferrand, Narendra Jussien, Willy Lesaint, Samir Ouis, Alexandre Tessier
Correctness of Constraint Retraction Algorithms. FLAIRS Conference (2003)
Gérard Ferrand, Willy Lesaint, Alexandre Tessier
Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction. Electron. Notes Theor. Comput. Sci. 76 (2002)
Willy Lesaint
Value withdrawal explanations: a theoretical tool for programming environments. WLPE (2002)
Gérard Ferrand, Willy Lesaint, Alexandre Tessier
Value Withdrawal Explanation in CSP. AADEBUG (2000)