Willy Lesaint

According to our database, Willy Lesaint authored at least 9 papers between 2000 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

Property Grammar Parsing Seen as a Constraint Optimization Problem.

Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier, Willy Lesaint

Proceedings of the Formal Grammar, 2010

2006

Explanations and Proof Trees.

Gérard Ferrand, Willy Lesaint, Alexandre Tessier

Comput. Artif. Intell., 2006

2004

Explanations to Understand the Trace of a Finite Domain Constraint Solver.

Gérard Ferrand, Willy Lesaint, Alexandre Tessier

Proceedings of the 14th International Workshop on Logic Programming Environments, 2004

Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis.

Gérard Ferrand, Willy Lesaint, Alexandre Tessier

Proceedings of the Programmation en logique avec contraintes, 2004

2003

Towards declarative diagnosis of constraint programs over finite domains

Gérard Ferrand, Willy Lesaint, Alexandre Tessier

CoRR, 2003

Correctness of Constraint Retraction Algorithms.

Romuald Debruyne, Gérard Ferrand, Narendra Jussien, Willy Lesaint, Samir Ouis, Alexandre Tessier

Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003

2002

Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction.

Gérard Ferrand, Willy Lesaint, Alexandre Tessier

Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

Value withdrawal explanations: a theoretical tool for programming environments.

Willy Lesaint

Proceedings of the 12th International Workshop on Logic Programming Environments, 2002

2000

Value Withdrawal Explanation in CSP.

Gérard Ferrand, Willy Lesaint, Alexandre Tessier

Proceedings of the Fourth International Workshop on Automated Debugging, 2000