| [1] | Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier, and Willy Lesaint. Property Grammar Parsing Seen as a Constraint Optimization Problem. In Proceedings of the 15th International Conference on Formal Grammar (FG 2010) Proceedings of the 15th International Conference on Formal Grammar (FG 2010), Copenhagen Danemark, August 2010. [ bib | http | Abstract ] |
| [2] | Denys Duchier, Thi-Bich-Hanh Dao, Yannick Parmentier, and Willy Lesaint. Une modélisation en CSP des grammaires de propriétés. In Sixièmes Journées Francophones de Programmation par Contraintes (JFPC 2010) Sixièmes Journées Francophones de Programmation par Contraintes (JFPC 2010), Caen France, June 2010. [ bib | http | .pdf | Abstract ] |
| [3] | Gérard Ferrand, Willy Lesaint, and Alexandre Tessier. Explanations and proof trees. Computing and Informatics, 25(2-3):1001-1021, 2006. [ bib | http | .pdf | Abstract ] |
| [4] | Gérard Ferrand, Willy Lesaint, and Alexandre Tessier. Explanations and proof trees. In Thomas R. Roth-Berghofer, Stefan Schultz, and Andrea Woody, editors, International Symposium on Explanation-Aware Computing, ExaCt 2005, pages 76-85, Washington, D.C., USA, November 2005. AAAI Press. [ bib | http | .pdf | Abstract ] |
| [5] | L. Langevine, P. Deransart, F. Fages, J.-D. Fekete, M. Ghoniem, N. Jussien, M. Ducassé, E. Jahier, A. Tessier, W. Lesaint, G. Ferrand, and A. Ed-Dbali. Gentra4cp: A generic trace format for constraint programming. volume 3668, pages 433-434, 2005. cited By (since 1996)0. [ bib | http | .pdf ] |
| [6] | Gérard Ferrand, Willy Lesaint, and Alexandre Tessier. Explanations to understand the trace of a finite domain constraint solver. In Susana Muñoz-Hernández, José Manuel Gómez-Pérez, and Petra Hofstedt, editors, 14th Workshop on Logic Programming Environments, pages 19-33, Saint-Malo, France, September 2004. [ bib | http | .pdf | Abstract ] |
| [7] | Gérard Ferrand, Willy Lesaint, and Alexandre Tessier. Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis. In Frédéric Mesnard, editor, Treizièmes Journées Francophones de Programmation en Logique et de programmation par Contraintes, pages 37-53, Angers, France, June 2004. HERMES. [ bib | http | .pdf | Abstract ] |
| [8] | Willy Lesaint. Explications de Retraits de Valeurs en Programmation par Contraintes et Application au Diagnostic Déclaratif. PhD thesis, Université d'Orléans, Novembre 2003. [ bib | .pdf | Abstract ] |
| [9] | Gérard Ferrand, Willy Lesaint, and Alexandre Tessier. Towards declarative diagnosis of constraint programs over finite domains. In Michiel Ronsse, editor, Proceedings of the Fifth International Workshop on Automated Debugging, AADEBUG2003, pages 159-170, Ghent, Belgium, September 2003. [ bib | http | .pdf | Abstract ] |
| [10] | Romuald Debruyne, Gérard Ferrand, Narendra Jussien, Willy Lesaint, Samir Ouis, and Alexandre Tessier. Correctness of constraint retraction algorithms. In Ingrid Russell and Susan Haller, editors, FLAIRS'03: Sixteenth international Florida Artificial Intelligence Research Society conference, pages 172-176, St Augustin, Florida, USA, May 2003. AAAI Press. [ bib | http | .pdf | Abstract ] |
| [11] | Gérard Ferrand, Willy Lesaint, and Alexandre Tessier. Explanations and error diagnosis. Outils pour l'Analyse Dynamique et la mise au Point de Programmes avec Contraintes (réalisation d3.2.2), March 2003. [ bib | .pdf | Abstract ] |
| [12] | Gérard Ferrand, Willy Lesaint, and Alexandre Tessier. Theoretical foundations of value withdrawal explanations for domain reduction. Electronic Notes in Theoretical Computer Science, 76, November 2002. [ bib | http | .pdf | Abstract ] |
| [13] | Willy Lesaint. Value withdrawal explanations: a theoretical tool for programming environments. In Alexandre Tessier, editor, 12th Workshop on Logic Programming Environments, pages 17-33, Copenhagen, Denmark, July 2002. [ bib | http | .pdf | Abstract ] |
| [14] | Gérard Ferrand, Willy Lesaint, and Alexandre Tessier. Theoretical foundations of value withdrawal explanations for domain reduction. In Moreno Falashi, editor, 11th International Workshop on Functional and (Constraint) Logic Programming, pages 211-224, Grado, Italy, June 2002. [ bib | http | .pdf | Abstract ] |
| [15] | Romuald Debruyne, Gérard Ferrand, Narendra Jussien, Willy Lesaint, Samir Ouis, and Alexandre Tessier. Correctness of constraint retraction algorithms. Research Report 2002-09, LIFO, University of Orléans, BP 6759, F-45067 Orléans Cedex 2, May 2002. [ bib | .ps.gz | Abstract ] |
| [16] | Gérard Ferrand, Willy Lesaint, and Alexandre Tessier. Un modèle complet pour la propagation et le labeling. Outils pour l'Analyse Dynamique et la mise au Point de Programmes avec Contraintes (réalisation d1.1.2-part2), February 2002. [ bib | .pdf | Abstract ] |
| [17] | Romuald Debruyne, Gérard Ferrand, Narendra Jussien, Willy Lesaint, Samir Ouis, and Alexandre Tessier. Correctness of constraint retraction algorithms. Research Report 02-6-INFO, École des Mines de Nantes, Nantes, France, 2002. [ bib | .pdf | Abstract ] |
| [18] | Gérard Ferrand, Willy Lesaint, and Alexandre Tessier. Theoretical foundations of value withdrawal explanations in constraints solving by domain reduction. Research Report 2001-05, LIFO, University of Orléans, BP 6759, F-45067 Orléans Cedex 2, November 2001. [ bib | .ps.gz | Abstract ] |
| [19] | Gérard Ferrand, Willy Lesaint, and Alexandre Tessier. A model of constraint solvers by chaotic iteration adapted to value withdrawal explanations. Outils pour l'Analyse Dynamique et la mise au Point de Programmes avec Contraintes (réalisation d1.1.1), July 2001. [ bib | .pdf | Abstract ] |
| [20] | Gérard Ferrand, Willy Lesaint, and Alexandre Tessier. Value withdrawal explanation in CSP. In Mireille Ducassé, editor, Proceedings of the Fourth International Workshop on Automated Debugging, Munich, Germany, August 2000. [ bib | http | .pdf | Abstract ] |
| [21] | Gérard Ferrand, Willy Lesaint, and Alexandre Tessier. Value withdrawal explanation in CSP. Research Report 2000-09, LIFO, University of Orléans, BP 6759, F-45067 Orléans Cedex 2, May 2000. [ bib | Abstract ] |
| [22] | Willy Lesaint. Simplification de contraintes sur les domaines finis. Mémoire de dea, LIFO, University of Orléans, BP 6759, F-45067 Orléans Cedex 2, Septembre 1999. [ bib ] |
This file was generated by bibtex2html 1.96.