![]() | ![]() |
2005 | ||
---|---|---|
4 | EE | Louis Latour: Computing Affine Hulls over Q and Z from Sets Represented by Number Decision Diagrams. CIAA 2005: 213-224 |
2004 | ||
3 | EE | Louis Latour: From Automata to Formulas: Convex Integer Polyhedra. LICS 2004: 120-129 |
2 | EE | Bernard Boigelot, Louis Latour: Counting the solutions of Presburger equations without enumerating them. Theor. Comput. Sci. 313(1): 17-29 (2004) |
2001 | ||
1 | EE | Bernard Boigelot, Louis Latour: Counting the Solutions of Presburger Equations without Enumerating Them. CIAA 2001: 40-51 |
1 | Bernard Boigelot | [1] [2] |