{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T20:23:51Z","timestamp":1768595031151,"version":"3.49.0"},"reference-count":31,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1997,2,1]],"date-time":"1997-02-01T00:00:00Z","timestamp":854755200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":6010,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[1997,2]]},"DOI":"10.1016\/s0304-3975(96)00195-8","type":"journal-article","created":{"date-parts":[[2003,4,23]],"date-time":"2003-04-23T19:53:40Z","timestamp":1051127620000},"page":"183-208","source":"Crossref","is-referenced-by-count":23,"title":["Avoiding slack variables in the solving of linear diophantine equations and inequations"],"prefix":"10.1016","volume":"173","author":[{"given":"Farid","family":"Ajili","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Evelyne","family":"Contejean","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(96)00195-8_BIB1","series-title":"6th Internat. Conf. on Rewriting Techniques and Applications","article-title":"General solutions of systems of linear diophantine equations and inequations","volume":"Vol. 914","author":"Abdulrab","year":"1995"},{"key":"10.1016\/S0304-3975(96)00195-8_BIB2","article-title":"Etude de la r\u00e9solution de contraintes diophantiennes lin\u00e9aires sur les entiers naturels","author":"Ajili","year":"1994"},{"key":"10.1016\/S0304-3975(96)00195-8_BIB3","article-title":"Complete solving of linear and diophantine equational and inequational systems without adding variables","author":"Ajili","year":"1995"},{"key":"10.1016\/S0304-3975(96)00195-8_BIB4","series-title":"Solving linear diophantine equations: The state of the art","author":"Ajili","year":"1995"},{"key":"10.1016\/S0304-3975(96)00195-8_BIB5","series-title":"Proc. 5th IEEE Symp. Logic in Computer Science","first-page":"289","article-title":"A new AC-unification algorithm with a new algorithm for solving diophantine equations","author":"Boudet","year":"1990"},{"key":"10.1016\/S0304-3975(96)00195-8_BIB6","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1137\/0211057","article-title":"Algorithms for the solution of systems of linear diophantine equations","volume":"11","author":"Chou","year":"1982","journal-title":"SIAM J. comput."},{"key":"10.1016\/S0304-3975(96)00195-8_BIB7","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/S0747-7171(89)80025-2","article-title":"Efficient solution of linear diophantine equations","volume":"8","author":"Clausen","year":"1989","journal-title":"J. Symbolic Comput."},{"key":"10.1016\/S0304-3975(96)00195-8_BIB8","article-title":"The Algebraic Theory of Semigroups","author":"Clifford","year":"1961"},{"key":"10.1016\/S0304-3975(96)00195-8_BIB9","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1006\/jsco.1993.1060","article-title":"Solving \u2217-problems modulo distributivity by a reduction to AC1-unification","volume":"16","author":"Contejean","year":"1993","journal-title":"J. Symbolic Comput."},{"issue":"1","key":"10.1016\/S0304-3975(96)00195-8_BIB10","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1006\/inco.1994.1067","article-title":"An efficient algorithm for solving systems of diophantine equations","volume":"113","author":"Contejean","year":"1994","journal-title":"Inform. Comput."},{"key":"10.1016\/S0304-3975(96)00195-8_BIB11","article-title":"Outils pour la d\u00e9duction automatique dans les th\u00e9ories associatives-commutatives","author":"Domenjoud","year":"1991","journal-title":"Th\u00e8se de doctorat de l'universit\u00e9 de Nancy I"},{"key":"10.1016\/S0304-3975(96)00195-8_BIB12","series-title":"Proc. 16th Mathematical Foundations of Computer Science","article-title":"Solving systems of linear diophantine equations: an algebraic approach","volume":"Vol. 520","author":"Domenjoud","year":"1991"},{"key":"10.1016\/S0304-3975(96)00195-8_BIB13","series-title":"Principles and Practice of Constraint Programming","article-title":"From Elliot-Mac Mahon to an algorithm for general linear constraints on naturals","volume":"Vol. 976","author":"Domenjoud","year":"1995"},{"key":"10.1016\/S0304-3975(96)00195-8_BIB14","series-title":"Proc. 6th Portuguese Conf. on Artificial Intelligence","first-page":"297","article-title":"Fast methods for solving linear diophantine equations","volume":"Vol. 727","author":"Filgueiras","year":"1993"},{"key":"10.1016\/S0304-3975(96)00195-8_BIB15","article-title":"Solving linear diophantine equations","author":"Guckenbiehl","year":"1985","journal-title":"Tech. Report SEKI-85-IV-KL"},{"key":"10.1016\/S0304-3975(96)00195-8_BIB16","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF00243791","article-title":"Unification in abelian semi-groups","volume":"3","author":"Herold","year":"1987","journal-title":"J. Automat. Reason."},{"issue":"3","key":"10.1016\/S0304-3975(96)00195-8_BIB17","doi-asserted-by":"crossref","DOI":"10.1016\/0020-0190(78)90078-9","article-title":"An algorithm to generate the basis of solutions to homogeneous linear diophantine equations","volume":"7","author":"Huet","year":"1978","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/S0304-3975(96)00195-8_BIB18_1","series-title":"Proc. 16th Ann. ACM Symp. on Theory of Computing","first-page":"302","article-title":"A new polynomial algorithm for linear programming","author":"Karmarkar","year":"1984"},{"key":"10.1016\/S0304-3975(96)00195-8_BIB18_2","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/BF02579150","volume":"4","author":"Karmarkar","year":"1984","journal-title":"Combinatorica"},{"key":"10.1016\/S0304-3975(96)00195-8_BIB19","first-page":"51","article-title":"Polynomial algorithms in linear programming","volume":"20","author":"Khachiyan","year":"1980","journal-title":"Zh. Vychisl. Mat. i Matematicheskoi Fiziki"},{"key":"10.1016\/S0304-3975(96)00195-8_BIB20","series-title":"Proc. Coll. on Resolution of Equations in Algebraic Structures","first-page":"171","article-title":"From unification in combination of equational theories to a new AC unification algorithm","author":"Kirchner","year":"1987"},{"key":"10.1016\/S0304-3975(96)00195-8_BIB21_1","first-page":"39","article-title":"Une borne pour les g\u00e9n\u00e9rateurs des solutions enti\u00e8res positives d'une \u00e9quation diophantienne lin\u00e9aire","volume":"305","author":"Lambert","year":"1987","journal-title":"Comptes Rendus de l'Acad\u00e9mie des Sciences de Paris, Serie I"},{"key":"10.1016\/S0304-3975(96)00195-8_BIB21_2","first-page":"40","article-title":"Une borne pour les g\u00e9n\u00e9rateurs des solutions enti\u00e8res positives d'une \u00e9quation diophantienne lin\u00e9aire","volume":"305","author":"Lambert","year":"1987","journal-title":"Comptes Rendus de l'Acad\u00e9mie des Sciences de Paris, Serie I"},{"key":"10.1016\/S0304-3975(96)00195-8_BIB22","first-page":"243","article-title":"Algorithmic decidability of the rank of constant free equations in a free semigroup","volume":"243","author":"Makanin","year":"1978","journal-title":"Dokl. Akad. Nauk. SSSR"},{"key":"10.1016\/S0304-3975(96)00195-8_BIB23","series-title":"Proc. 4th Internat. Conf. on Rewriting Techniques and Applications","first-page":"162","article-title":"Minimal solutions of linear diophantine systems: bounds and algorithms","author":"Pottier","year":"1991"},{"key":"10.1016\/S0304-3975(96)00195-8_BIB24","doi-asserted-by":"crossref","DOI":"10.1016\/0304-3975(90)90082-S","article-title":"A polynomial algorithm for solving systems of two linear diophantine equations","author":"Romeuf","year":"1989"},{"key":"10.1016\/S0304-3975(96)00195-8_BIB25","series-title":"Theory of Linear and Integer Programming","author":"Schrijver","year":"1986"},{"key":"10.1016\/S0304-3975(96)00195-8_BIB26","article-title":"Analysis of standard and new algorithms for the integer and linear constraint satisfaction problem","author":"Sogno","year":"1992"},{"key":"10.1016\/S0304-3975(96)00195-8_BIB27","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1145\/322261.322262","article-title":"A unification algorithm for associative-commutative functions","volume":"28","author":"Stickel","year":"1981","journal-title":"J. ACM"},{"key":"10.1016\/S0304-3975(96)00195-8_BIB28","series-title":"Constraint Satisfaction in Logic Programming","author":"Van Hentenryck","year":"1989"},{"issue":"1\u20133","key":"10.1016\/S0304-3975(96)00195-8_BIB29","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0004-3702(92)90006-J","article-title":"Constraint satisfaction using constraint logic programming","volume":"58","author":"Van Hentenryck","year":"1992","journal-title":"Artificial Intelligence"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397596001958?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397596001958?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T08:56:55Z","timestamp":1555405015000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397596001958"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,2]]},"references-count":31,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,2]]}},"alternative-id":["S0304397596001958"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(96)00195-8","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[1997,2]]}}}