{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:59Z","timestamp":1725663659011},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572879"},{"type":"electronic","value":"9783540480365"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57287-2_55","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T07:39:06Z","timestamp":1330241946000},"page":"297-306","source":"Crossref","is-referenced-by-count":3,"title":["Fast methods for solving linear diophantine equations"],"prefix":"10.1007","author":[{"given":"Miguel","family":"Filgueiras","sequence":"first","affiliation":[]},{"given":"Ana Paula","family":"Tom\u00e1s","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"22_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":"22_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":"22_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":"22_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":"22_CR5","unstructured":"Filgueiras, M. and Tom\u00e1s, A. P.: A Congruence-based Method with Slope Information for Solving Linear Constraints over Natural Numbers. Presented at the Workshop on Constraint Logic Programming '92, Marseille. Also as internal report, Centro de Inform\u00e1tica da Universidade do Porto, 1992a."},{"key":"22_CR6","unstructured":"Filgueiras, M. and Tom\u00e1s, A. P.: Solving Linear Diophantine Equations: The Slopes Algorithm. Centro de Inform\u00e1tica da Universidade do Porto, 1992b."},{"key":"22_CR7","unstructured":"Filgueiras, M. and Tom\u00e1s, A. P.: A Note on the Implementation of the MacMahon Elliott Algorithm. Centro de Inform\u00e1tica da Universidade do Porto, 1992c."},{"key":"22_CR8","unstructured":"Guckenbiehl, T. and Herold, A.: Solving Linear Diophantine Equations. Memo SEKI-85-IV-KL, Universit\u00e4t Kaiserslautern, 1985."},{"key":"22_CR9","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":"22_CR10","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":"22_CR11","doi-asserted-by":"crossref","unstructured":"MacMahon, P.: Combinatory Analysis, 2. Chelsea Publishing Co., 1918.","DOI":"10.1112\/plms\/s2-16.1.352"},{"key":"22_CR12","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1215\/S0012-7094-73-04054-4","volume":"40","author":"R. Stanley","year":"1973","unstructured":"Stanley, R.: Linear homogeneous Diophantine equations and magic labelings of graphs. Duke Math. J., 40, 607\u2013632, 1973.","journal-title":"Duke Math. J."},{"key":"22_CR13","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, 1991a.","DOI":"10.1007\/3-540-54535-2_23"},{"key":"22_CR14","unstructured":"Tom\u00e1s, A. P. and Filgueiras, M.: A Congruence-based Method for Finding the Basis of Solutions to Linear Diophantine Equations. Centro de Inform\u00e1tica da Universidade do Porto, 1991b."}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57287-2_55.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T14:30:51Z","timestamp":1687271451000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57287-2_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572879","9783540480365"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-57287-2_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}