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.

Authors

Farid Ajili

This author has not been identified. Look up 'Farid Ajili' in Google

Evelyne Contejean

This author has not been identified. Look up 'Evelyne Contejean' in Google