{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:42Z","timestamp":1725663822243},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540545354"},{"type":"electronic","value":"9783540384595"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54535-2_21","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:59:42Z","timestamp":1330210782000},"page":"1-16","source":"Crossref","is-referenced-by-count":0,"title":["Solving linear constraints on finite domains through parsing"],"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,3]]},"reference":[{"key":"1_CR1","unstructured":"Alfred V. Aho, R. Sethi and J. D. Ullman, Compilers \u2014 Principles, Techniques and Tools. Addison-Wesley, 1986."},{"key":"1_CR2","unstructured":"Alexandre Boudet, E. Contejean and H. Devie, 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, 1990."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Gordon Bradley, Algorithm and Bound for the Greatest Common Divisor of n Integers, Comm. ACM, 13(7), 1970.","DOI":"10.1145\/362686.362694"},{"issue":"4","key":"1_CR4","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1137\/0211057","volume":"11","author":"T. J. Chou","year":"1982","unstructured":"Tsu-Wu J. Chou and G. E. Collins, Algorithms for the solution of systems of linear Diophantine equations. SIAM J. Comput., 11(4), 687\u2013708, 1982.","journal-title":"SIAM J. Comput."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Jacques Cohen, Constraint Logic Programming Languages. Comm. ACM, 33(7), 1990.","DOI":"10.1145\/79204.79209"},{"key":"1_CR6","unstructured":"Alain Colmerauer, Opening the Prolog III Universe. Byte, 12(9), 1987."},{"key":"1_CR7","unstructured":"M. Dincbas, P. van Hentenryck, H. Simonis, A. Aggoun, T. Graf, F. Berthier, The constraint Logic Programming language CHIP. In Proceedings of the International Conference on Fifth Generation Computer Systems, ICOT, 1988."},{"key":"1_CR8","unstructured":"Miguel Filgueiras, Systems of Linear Diophantine Equations and Logic Grammars, Centro de Inform\u00e1tica da Universidade do Porto, 1990."},{"key":"1_CR9","unstructured":"Miguel Filgueiras, Ana Paula Tom\u00e1s, Relating Grammar Derivations and Systems of Linear Diophantine Equations. Centro de Inform\u00e1tica da Universidade do Porto, 1990."},{"key":"1_CR10","unstructured":"H. Greenberg, Integer Programming, Academic Press, 1971."},{"key":"1_CR11","unstructured":"Thomas Guckenbiehl and A. Herold, Solving Linear Diophantine Equations. Memo SEKI-85-IV-KL, Universit\u00e4t Kaiserslautern, 1985."},{"key":"1_CR12","unstructured":"Andrew Haas, A parsing algorithm for Unification Grammar. Computational Linguistics, 15(4), 1989."},{"key":"1_CR13","unstructured":"John E. Hopcroft and J. D. Ullman, Formal Languages and Their Relation to Automata. Addison-Wesley, 1969."},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"G\u00e9rard Huet, 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":"1_CR15","unstructured":"Joxan Jaffar, J.-L. Lassez and M. Maher, Logic Programming language scheme. In D. DeGroot and G. Lindstrom (eds.), Logic Programming: Functions, Relations, and Equations, Prentice-Hall, 1986."},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Joxan Jaffar and J.-L. Lassez, Constraint Logic Programming. In Proceedings of the 14th POPL Conference, 1987.","DOI":"10.1145\/41625.41635"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"G. Mitra, D. B. C. Richards and K. Wolfenden, An improved algorithm for the solution of integer programs by the solution of associated Diophantine equations. R.I.R.O., 1970.","DOI":"10.1051\/m2an\/197004R100471"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"F. Pereira and D. H. D. Warren, Definite Clause Grammars for language analysis \u2014 a survey of the formalism and a comparison with Augmented Transition Networks. Artificial Intelligence, 13, 1980.","DOI":"10.1016\/0004-3702(80)90003-X"},{"key":"1_CR19","unstructured":"Lo\u00efc Pottier, Solutions Minimales des Syst\u00e8mes Diophantiens Lin\u00e9aires: Bornes et Algorithmes. Rapport de Recherche no. 1292, I.N.R.I.A., 1990."},{"key":"1_CR20","unstructured":"A. P. Tom\u00e1s and M. Filgueiras, A New Method for Solving Linear Constraints on the Natural Numbers. This volume."},{"key":"1_CR21","unstructured":"A. P. Tom\u00e1s and M. Filgueiras, A Congruence-based Method for Finding the Basis of Solutions to Linear Diophantine Equations. Centro de Inform\u00e1tica da Universidade do Porto, 1991."},{"key":"1_CR22","unstructured":"P. van Hentenryck, Constraint Satisfaction in Logic Programming, MIT Press, 1989."}],"container-title":["Lecture Notes in Computer Science","EPIA 91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54535-2_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:55:32Z","timestamp":1605646532000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54535-2_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540545354","9783540384595"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-54535-2_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}