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.

Abstract

Abstract is missing.