The following pages link to J.-L. Imbert (Q1380439):
Displayed 3 items.
- Redundancy elimination with a lexicographic solved form (Q1380440) (← links)
- Variable Elimination for Disequations in Generalized Linear Constraint Systems (Q3140558) (← links)
- An algorithm for linear constraint solving: its incorporation in a prolog meta-interpreter for CLP (Q5289309) (← links)