Variable Elimination for Disequations in Generalized Linear Constraint Systems

Jean-Louis Imbert. Variable Elimination for Disequations in Generalized Linear Constraint Systems. Comput. J., 36(5):473-484, 1993.

Authors

Jean-Louis Imbert

This author has not been identified. Look up 'Jean-Louis Imbert' in Google