 | 2009 |
|---|
| 10 |       | Eric Domenjoud,
Damien Jamet,
Jean-Luc Toutant:
On the Connecting Thickness of Arithmetical Discrete Planes.
DGCI 2009: 362-372 |
| 2006 |
|---|
| 9 | | Isabelle Debled-Rennesson,
Eric Domenjoud,
Damien Jamet:
Arithmetic Discrete Parabolas.
ISVC (2) 2006: 480-489 |
| 1999 |
|---|
| 8 | | 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 | | 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 |
