{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:43:55Z","timestamp":1752461035821},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540629504"},{"type":"electronic","value":"9783540690511"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62950-5_77","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:58:08Z","timestamp":1330297088000},"page":"269-283","source":"Crossref","is-referenced-by-count":2,"title":["Solving linear Diophantine equations using the geometric structure of the solution space"],"prefix":"10.1007","author":[{"given":"Ana Paula","family":"Tom\u00e1s","sequence":"first","affiliation":[]},{"given":"Miguel","family":"Filgueiras","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Boudet, A., Contejean E., and Devie, H.: A new AC Unification algorithm with an algorithm for solving systems of Diophantine equations. In Proceedings of the 5th Conference on Logic and Computer Science, IEEE, 289\u2013299, 1990.","DOI":"10.1109\/LICS.1990.113755"},{"key":"21_CR2","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/S0747-7171(89)80025-2","volume":"8","author":"M. Clausen","year":"1989","unstructured":"Clausen, M., and Fortenbacher, A.: Efficient solution of linear Diophantine equations. J. Symbolic Computation, 8, 201\u2013216, 1989.","journal-title":"J. Symbolic Computation"},{"key":"21_CR3","unstructured":"Domenjoud, E.: Outils pour la D\u00e9duction Automatique dans les Th\u00e9ories Associatives-Commutatives. Th\u00e9se de doctorat, Universit\u00e9 de Nancy I, 1991."},{"key":"21_CR4","first-page":"348","volume":"34","author":"E. B. Elliott","year":"1903","unstructured":"Elliott, E. B.: On linear homogenous Diophantine equations. Quart. J. Pure Appl. Math., 34, 348\u2013377, 1903.","journal-title":"Quart. J. Pure Appl. Math."},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Filgueiras, M., and Tom\u00e1s, A. P.: Fast Methods for Solving Linear Diophantine Equations. In M. Filgueiras, L. Damas (eds.) Progress in Artificial Intelligence \u2014 6th Portuguese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 727, Springer-Verlag, 297\u2013306, 1993.","DOI":"10.1007\/3-540-57287-2_55"},{"key":"21_CR6","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1006\/jsco.1995.1029","volume":"19","author":"M. Filgueiras","year":"1995","unstructured":"Filgueiras, M., and Tom\u00e1s, A. P.: A Fast Method for Finding the Basis of Non-negative Solutions to a Linear Diophantine Equation. J. Symbolic Computation, 19, 507\u2013526, 1995.","journal-title":"J. Symbolic Computation"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Huet, G.: An algorithm to generate the basis of solutions to homogeneous linear Diophantine equations. Information Processing Letters, 7(3), 1978.","DOI":"10.1016\/0020-0190(78)90078-9"},{"key":"21_CR8","first-page":"39","volume":"305","author":"J.-L. Lambert","year":"1987","unstructured":"Lambert, J.-L.: Une borne pour les g\u00e9n\u00e9rateurs des solutions enti\u00e8res positives d'une \u00e9quation diophantienne lin\u00e9aire. Comptes Rendus de l'Acad\u00e9mie des Sciences de Paris, t. 305, s\u00e9rie I, 39\u201340, 1987.","journal-title":"Comptes Rendus de l'Acad\u00e9mie des Sciences de Paris"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"MacMahon, P.: Combinatory Analysis, 2. Chelsea Publishing Co., 1918.","DOI":"10.1112\/plms\/s2-16.1.352"},{"key":"21_CR10","unstructured":"Moulinet-Ossola, C: Algorithmique des R\u00e9seaux et des Syst\u00e9mes Diophantiens Lin\u00e9aires. Th\u00e8se de doctorat, Universit\u00e9 de Nice Sophia-Antipolis, 1995."},{"key":"21_CR11","unstructured":"Petitjean, E.: R\u00e9solution Parall\u00e8le de Contraintes Lin\u00e9aires sur les Entiers Naturels. M\u00e9moire de DEA, Universit\u00e9 de Nancy I, 9\/1996."},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Pottier, L.: Minimal solutions of linear diophantine systems: bounds and algorithms. In R. V. Book (ed.), Proceedings of the 4th International Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science 488, Springer-Verlag, 162\u2013173, 1991.","DOI":"10.1007\/3-540-53904-2_94"},{"key":"21_CR13","unstructured":"A. Schrijver, Theory of Linear and Integer Programming, Wiley-Interscience, 1986."},{"key":"21_CR14","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1215\/S0012-7094-73-04054-4","volume":"40","author":"R.P. Stanley","year":"1973","unstructured":"Stanley, R.P.: Linear homogeneous Diophantine equations and magic labelings of graphs. Duke Math. J., 40, 607\u2013632, 1973.","journal-title":"Duke Math. J."},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Stanley, R.P.: Enumerative Combinatorics, Vol I, The Wadsworth & Brooks\/Cole Mathematics Series, 1986.","DOI":"10.1007\/978-1-4615-9763-6"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Tom\u00e1s, A. P. and Filgueiras, M.: A new method for solving linear constraints on the natural numbers. In P. Barahona, L. Moniz Pereira, A. Porto (eds.), Proceedings of the 5th Portuguese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 541, Springer-Verlag, 30\u201344, 1991.","DOI":"10.1007\/3-540-54535-2_23"},{"key":"21_CR17","unstructured":"Tom\u00e1s, A. P.: On Solving Linear Diophantine Constraints. Tese de Doutoramento, submitted to Faculdade de Ci\u00eancias da Universidade do Porto, 1997."}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62950-5_77.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T19:23:10Z","timestamp":1687288990000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62950-5_77"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540629504","9783540690511"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-62950-5_77","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}