{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:43:54Z","timestamp":1749725034202},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540534877"},{"type":"electronic","value":"9783540463139"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53487-3_31","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:05:31Z","timestamp":1330207531000},"page":"1-20","source":"Crossref","is-referenced-by-count":7,"title":["Reasoning about linear constraints using parametric queries"],"prefix":"10.1007","author":[{"given":"Tien","family":"Huynh","sequence":"first","affiliation":[]},{"given":"Leo","family":"Joskowicz","sequence":"additional","affiliation":[]},{"given":"Catherine","family":"Lassez","sequence":"additional","affiliation":[]},{"given":"Jean-Louis","family":"Lassez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"1_CR1","unstructured":"S. Achmanov, Programmation Lin\u00e9cire, Editions Mir, Moscou 1984."},{"key":"1_CR2","first-page":"xlvii","volume":"7","author":"J.B.J. Fourier","year":"1827","unstructured":"J.B.J. Fourier, reported in: Analyse des travaux de l'Acad\u00e9mie Royale des Sciences, pendant l'ann\u00e9e 1824, Partie Math\u00e9matique, Histoire de l'Acad\u00e9mie Royale des Sciences de l'Institut de France 7 (1827) xlvii\u2013lv. (Partial English translation in: D.A. Kohler, Translation of a Report by Fourier on his work on Linear Inequalities, Opsearch 10(1973) 38\u201342.)","journal-title":"Histoire de l'Acad\u00e9mie Royale des Sciences de l'Institut de France"},{"key":"1_CR3","unstructured":"T. Huynh and J-L. Lassez, \u201cPractical Issues on the Projection of Polyhedral Sets,\u201d IBM Research Report, T.J. Watson Research Center, 1990."},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"T. Huynh, C. Lassez and J-L. Lassez, \u201cFourier Algorithm Revisited,\u201d 2nd International Conference on Algebraic and Logic Programming, Springer-Verlag Lecture Notes in Computer Sciences, 1990.","DOI":"10.1007\/3-540-53162-9_34"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"L. Joskowicz, \u201cReasoning about the Kinematics of Mechanical Devices,\u201d International Journal of Artificial Intelligence in Engineering, Vol 4 No. 1, 1989.","DOI":"10.1016\/0954-1810(89)90022-8"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"L. Joskowicz, \u201cSimplification and Abstraction of Kinematic Behaviors,\u201d Proceedings of the 11th International Joint Conference on Artificial Intelligence, Detroit, 1989.","DOI":"10.1016\/B978-1-4832-1447-4.50062-6"},{"key":"1_CR7","unstructured":"L. Joskowicz and E. Sacks, \u201cIncremental Kinematic Analysis of Machines,\u201d forthcoming, 1990."},{"key":"1_CR8","unstructured":"P. Kanellakis, G. Kuper and P. Revesz, \u201cConstraint Query Languages,\u201d PODS 90, Nashville."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"J-L Lassez, \u201cParametric Queries, Linear Constraints and Variable Elimination,\u201d DISCO 90, Springer-Verlag Lecture Notes in Computer Sciences, 1990.","DOI":"10.1007\/3-540-52531-9_136"},{"key":"1_CR10","unstructured":"J-L. Lassez, T. Huynh and K. McAloon, \u201cSimplification and Elimination of Redundant Arithmetic Constraints,\u201d Proceedings of NACLP 89, MIT Press."},{"key":"1_CR11","unstructured":"J-L. Lassez and M.J. Maher, \u201cOn Fourier's Algorithm for Linear Arithmetic Constraints,\u201d IBM Research Report, T.J. Watson Research Center, 1988."},{"key":"1_CR12","unstructured":"J-L. Lassez and K. McAloon, \u201cApplications of a Canonical Form for Generalized Linear Constraints,\u201d Proceedings of the FGCS Conference, Tokyo, December 1988, 703\u2013710."},{"key":"1_CR13","unstructured":"J-L. Lassez and K. McAloon, \u201cA Canonical Form for Generalized Linear Constraints,\u201d IBM Research Report, T.J. Watson Research Center, 1989."},{"key":"1_CR14","unstructured":"J-L. Lassez and K. McAloon, \u201cIndependence of Negative Constraints,\u201d TAPSOFT 89, Advanced Seminar on Foundations of Innovative Software Development, LNCS 351 Springer Verlag 89."},{"key":"1_CR15","unstructured":"J-L Lassez, K. McAloon, \u201cA Constraint Sequent Calculus,\u201d LICS 90. Philadelphia."},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"T. Lozano-P\u00e9rez, and M. Wesley, \u201cAn algorithm for Planning Collision-Free Paths among Polyhedral Obstacles,\u201d Communications of the ACM, Vol. 22, 1979.","DOI":"10.1145\/359156.359164"},{"key":"1_CR17","unstructured":"M. Maher, \u201cA Logic Semantics for a class of Committed Choice Languages,\u201d Proceedings of ICLP4, MIT Press, 1987."},{"key":"1_CR18","unstructured":"V. Saraswat, \u201cConcurrent Constraint Logic Programming,\u201d MIT Press, to appear."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53487-3_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T03:26:39Z","timestamp":1640921199000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53487-3_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540534877","9783540463139"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-53487-3_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}