Complete Solving of Linear Diophantine Equations and Inequations without Adding Slack Variables

Farid Ajili, Evelyne Contejean. Complete Solving of Linear Diophantine Equations and Inequations without Adding Slack Variables. In Robert Nieuwenhuis, Albert Rubio, editors, 9th International Workshop on Unification, UNIF 1995, Sitges, Spain, April 2-3, 1995. pages 1, 1995.

Abstract

Abstract is missing.