2006 | ||
---|---|---|
9 | EE | Isabelle Debled-Rennesson, Eric Domenjoud, Damien Jamet: Arithmetic Discrete Parabolas. ISVC (2) 2006: 480-489 |
1999 | ||
8 | EE | Eric Domenjoud, Claude Kirchner, Jianyang Zhou: Generating Feasible Schedules for a Pick-up and Delivery Problem. Electronic Notes in Discrete Mathematics 1: 36-47 (1999) |
1998 | ||
7 | EE | Eric Domenjoud, Claude Kirchner, Jianyang Zhou: Generating Feasible Schedules for a Pick-Up and Delivery Problem. CP 1998: 467 |
1995 | ||
6 | Eric Domenjoud, Ana Paula Tomás: From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals. CP 1995: 18-35 | |
1994 | ||
5 | Eric Domenjoud, Francis Klay, Christophe Ringeissen: Combination Techniques for Non-Disjoint Equational Theories. CADE 1994: 267-281 | |
1992 | ||
4 | Eric Domenjoud: A Technical Note on AC-Unification. The Number of Minimal Unifiers of the Equation alpha x1 + . . . + alpha xp =AC beta y1 + . . . + beta yq. J. Autom. Reasoning 8(1): 39-44 (1992) | |
3 | Eric Domenjoud: AC Unification Through Order-Sorted AC1 Unification. J. Symb. Comput. 14(6): 537-556 (1992) | |
1991 | ||
2 | Eric Domenjoud: Solving Systems of Linear Diophantine Equations: An Algebraic Approach. MFCS 1991: 141-150 | |
1 | Eric Domenjoud: AC Unification Through Order-Sorted AC1 Unification. RTA 1991: 98-111 |
1 | Isabelle Debled-Rennesson | [9] |
2 | Damien Jamet | [9] |
3 | Claude Kirchner | [7] [8] |
4 | Francis Klay | [5] |
5 | Christophe Ringeissen | [5] |
6 | Ana Paula Tomás | [6] |
7 | Jianyang Zhou | [7] [8] |