{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:40:01Z","timestamp":1742600401630,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602996"},{"type":"electronic","value":"9783540447887"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60299-2_2","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:14:18Z","timestamp":1330280058000},"page":"18-35","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["From Elliott-MacMahon to an algorithm for general linear constraints on naturals"],"prefix":"10.1007","author":[{"given":"Eric","family":"Domenjoud","sequence":"first","affiliation":[]},{"given":"Ana Paula","family":"Tom\u00e1s","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"2_CR1","first-page":"339","volume-title":"volume 914 of Lecture Notes in Computer Science","author":"H. Abdulrab","year":"1995","unstructured":"H. Abdulrab and M. Maksimenko. General solution of systems of linear diophantine equations and inequations. In J. Hsiang, editor, Proc. 6th Conf. on Rewriting Techniques and Applications, Kaiserslautern (Germany), volume 914 of Lecture Notes in Computer Science, pages 339\u2013351. Springer-Verlag, April 1995."},{"key":"2_CR2","unstructured":"F. Ajili and Contejean E. Complete solving of linear diophantine equations and inequations without adding variables. In this volume."},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"A. Boudet, E. Contejean, and H. Devie. A new AC unification algorithm with a new algorithm for solving diophantine equations. In Proc. 5th IEEE Symp. on Logic in Computer Science, Philadelphia (Pa., USA), pages 289\u2013299, June 1990.","DOI":"10.1109\/LICS.1990.113755"},{"issue":"1&2","key":"2_CR4","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/S0747-7171(89)80025-2","volume":"8","author":"M. Clausen","year":"1989","unstructured":"M. Clausen and A. Fortenbacher. Efficient solution of linear diophantine equations. J. of Symbolic Computation, 8(1 & 2):201\u2013216, 1989. Special issue on unification. Part two.","journal-title":"J. of Symbolic Computation"},{"key":"2_CR5","first-page":"141","volume-title":"volume 520 of Lecture Notes in Computer Science","author":"E. Domenjoud","year":"1991","unstructured":"E. Domenjoud. Solving systems of linear diophantine equations: An algebraic approach. In A. Tarlecki, editor, Proc. 16th Int. Symp. on Mathematical Foundations of Computer Science, Kazimierz Dolny (Poland), volume 520 of Lecture Notes in Computer Science, pages 141\u2013150. Springer-Verlag, September 1991."},{"key":"2_CR6","unstructured":"E. B. Elliott. On linear homogeneous diophantine equations. Quartely J. of Pure and Applied Maths, 136, 1903."},{"key":"2_CR7","unstructured":"M. Filgueiras and A. P. Tom\u00e1s. A note on the implementation of the MacMahon-Elliott algorithm. Technical report, Centro de Inform\u00e1tica da Universidade do Porto, 1992."},{"key":"2_CR8","first-page":"297","volume-title":"volume 727 of Lecture Notes in Artificial Intelligence","author":"M. Filgueiras","year":"1993","unstructured":"M. Filgueiras and A. P. Tom\u00e1s. Fast methods for solving linear diophantine equations. In M. Filgueiras and L. Damas, editors, Proc. of the 6th Portuguese Conf. on AI, Porto (Portugal), volume 727 of Lecture Notes in Artificial Intelligence, pages 297\u2013306. Springer-Verlag, 1993."},{"issue":"3","key":"2_CR9","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/0020-0190(78)90078-9","volume":"7","author":"G. Huet","year":"1978","unstructured":"G. Huet. An algorithm to generate the basis of solutions to homogenous linear diophantine equations. Information Processing Letters, 7(3):144\u2013147, 1978.","journal-title":"Information Processing Letters"},{"key":"2_CR10","unstructured":"P. A. MacMahon. Combinatory Analysis, volume 2, chapter II: A Syzygetic Theory, pages 111\u2013114. Cambridge University Press, 1916. Reprinted by Chelsea, New York, 1960."},{"key":"2_CR11","first-page":"162","volume-title":"volume 488 of Lecture Notes in Computer Science","author":"L. Pottier","year":"1991","unstructured":"L. Pottier. Minimal solutions of linear diophantine systems: Bounds and algorithms. In R. V. Book, editor, Proc. 4th Conf. on Rewriting Techniques and Applications, Como (Italy), volume 488 of Lecture Notes in Computer Science, pages 162\u2013173. Springer-Verlag, April 1991."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP '95"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60299-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:59:39Z","timestamp":1742597979000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60299-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602996","9783540447887"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-60299-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"1 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}