{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:52:58Z","timestamp":1725483178027},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678854"},{"type":"electronic","value":"9783540446545"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44654-0_10","type":"book-chapter","created":{"date-parts":[[2007,4,28]],"date-time":"2007-04-28T03:42:39Z","timestamp":1177731759000},"page":"188-211","source":"Crossref","is-referenced-by-count":0,"title":["Combining Constraint Logic Programming Techniques for Solving Linear Problems"],"prefix":"10.1007","author":[{"given":"Reem","family":"Bahgat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samir E.","family":"Abdel-Rahman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,28]]},"reference":[{"key":"10_CR1","unstructured":"S.E. Abdel-Rahman. Investigating a New Constraint solving Approach within Constraint Logic Programming M.Sc, Computer and Information Sciences Dept., Institute of Statistical Studies and Research, Cairo University, 1999."},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"R. Beckmann and J. Hermann. \u201eUsing Constraint Logic Programming in memory synthesis for General Purpose Computer\u201c. In Proceedings of European Design and Test Conference IEEE, pp. 619\u2013629, USA, 1997.","DOI":"10.1109\/EDTC.1997.582432"},{"key":"10_CR3","unstructured":"C.k. Chiu and J.H.H. Lee. \u201eTowards Practical Interval Constraint Solving in Logic Programming\u201c. The International Logic Programming Symposium, USA, 1994."},{"key":"10_CR4","unstructured":"CLP (BNR), User Guide and Reference Applied Logic System Inc., USA, 1996."},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1016\/0743-1066(95)00121-2","volume":"27","author":"P. Codognet","year":"1996","unstructured":"P. Codognet and D. Diaz. \u201eCompiling Constraints in clp(FD)\u201c. In the Journal of logic Programming, Vol. 27, pp. 100\u2013199, 1996.","journal-title":"Journal of logic Programming"},{"key":"10_CR6","unstructured":"M. Dincbas; P. Van Hentenryck; H. Simonis; A. Aggoun; T. Graft and F. Bertheir. \u201eThe Constraint Logic Programming Language CHIP\u201c. In Proceedings of the Fifth Generation Computer Systems-88 Tokyo, Japan, 1988."},{"key":"10_CR7","series-title":"Lect Notes Comput Sci","isbn-type":"print","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/3-540-62501-1_23","volume-title":"An Informal Introduction to Constraint Database Systems, in Constraint Databases and Applications","author":"V. Gaede","year":"1996","unstructured":"V. Gaede and M.G. Wallace. \u201eAn Informal Introduction to Constraint Database Systems, in Constraint Databases and Applications\u201c. Lecture Notes in Computer Science, Vol. 1191, pp. 7\u201352, Springer-Verlag ISBN 3-540-62501-1, 1996.","ISBN":"http:\/\/id.crossref.org\/isbn\/3540625011"},{"key":"10_CR8","unstructured":"C. Gervet. \u201eLarge Combinatorial Optimization Problems: A Methodology for Hybrid Models and Solutions\u201c. In JFPLC\u201998, Nantes, France, 1998."},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"P. Girodias and E. Cerney. \u201cInterface Timing Verification with Delay Correlation using Constraint Logic Programming\u201c. In Proceedings of European Design and Test Conference IEEE, pp. 12\u201319, USA, 1997.","DOI":"10.1109\/EDTC.1997.582324"},{"key":"10_CR10","volume-title":"Towards a Closer Integration of Finite Domain Propagation and Simplex-Based Algorithm","author":"M.T. Hajian","year":"1995","unstructured":"M.T. Hajian; H. El-Sakkout; M. Wallace; J.M. Lever and E.B. Richards. \u201eTowards a Closer Integration of Finite Domain Propagation and Simplex-Based Algorithm\u201c. IC-Parc, Imperial College, London, England, 1995."},{"key":"10_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/3-540-55844-6_141","volume-title":"Programming Language Implementation and Logic Programming","author":"C. Holzbaur","year":"1992","unstructured":"C. Holzbaur. \u201eMetastructure vs. Attributed Variables in the Context of Extensible Unification\u201c. Programming Language Implementation and Logic Programming, Springer, LNCS 631, pp. 260\u2013268, 1992."},{"key":"10_CR12","volume-title":"A Specialized, Incremental Solved Form for Systems of Linear Inequalities","author":"C. Holzbaur","year":"1994","unstructured":"C. Holzbaur. \u201eA Specialized, Incremental Solved Form for Systems of Linear Inequalities\u201c. Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Austria, 1994."},{"key":"10_CR13","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(92)90005-I","volume":"58","author":"E. Hyvonen","year":"1992","unstructured":"E. Hyvonen. \u201eConstraint Reasoning Based on Interval Arithmetic: The Tolerance Propagation Approach\u201c. The Artificial Intelligence Magazine, Elsevier, Vol. 58, pp. 71\u2013112, 1992.","journal-title":"The Artificial Intelligence Magazine"},{"key":"10_CR14","unstructured":"E. Jacquest-Lagreze. \u201eHybrid Methods for Large Scale Optimization Problems: an OR perspective. In PAPPACT\u201998, pp. 1\u201310, 1998."},{"key":"10_CR15","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1145\/41625.41635","volume-title":"Constraint Logic Programming\u201c. In Proceedings 14th Symposium on Principles of Programming Languages","author":"J. Jaffar","year":"1987","unstructured":"J. Jaffar and J. Lassez. \u201eConstraint Logic Programming\u201c. In Proceedings 14th Symposium on Principles of Programming Languages, pp. 111\u2013119. ACM, Munich, 1987."},{"key":"10_CR16","unstructured":"J. Jaffar; S. Michaylov; P. Stuckey and R. Yap. \u201eThe CLP(R) Language and System\u201c. Technical report, RC 126292 (#72336) 11\/15\/90, IBM Research Division, 1992."},{"issue":"1","key":"10_CR17","first-page":"32","volume":"13","author":"V. Kumar","year":"1992","unstructured":"V. Kumar. \u201eAlgorithms for Constraint Satisfaction Problems: A Survey\u201c. The Artificial Intelligence Magazine, Elsevier, Vol. 13(1), pp. 32\u201344, 1992.","journal-title":"The Artificial Intelligence Magazine, Elsevier"},{"key":"10_CR18","volume-title":"Artificial Intelligence Structures and Strategies for Complex Problem Solving","author":"G.F. Luger","year":"1996","unstructured":"G.F. Luger and W.A. Stubblefield. Artificial Intelligence Structures and Strategies for Complex Problem Solving. The Benjamin\/Cummings Publishing Company Inc., USA, 1996."},{"key":"10_CR19","volume-title":"Interval Analysis","author":"R. Moore","year":"1965","unstructured":"R. Moore. Interval Analysis. Prentice-Hall Inc., London, 1965."},{"issue":"3\u20134","key":"10_CR20","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0743-1066(93)90047-K","volume":"16","author":"T.L. Provost","year":"1993","unstructured":"T.L. Provost and M. Wallace. \u201eGeneralized Constraint Propagation Over The CLP Scheme\u201c. The Journal of Logic Programming, Elsevier, Vol. 16(3\u20134), pp. 319\u2013360, 1993.","journal-title":"The Journal of Logic Programming, Elsevier"},{"key":"10_CR21","volume-title":"A New Approach to Integrating Mixed Integer Programming and Constraint Logic Programming","author":"R. Rodosek","year":"1998","unstructured":"R. Rodosek; M.G. Wallace and M.T. Hajian. \u201eA New Approach to Integrating Mixed Integer Programming and Constraint Logic Programming\u201c. IC-Parc, Imperial College, London, England, 1998."},{"key":"10_CR22","unstructured":"Sicstus Prolog User\u2019s Manual. Swidish Institute of Computer Science, Sweden, 1997."},{"key":"10_CR23","volume-title":"Operations Research: An Introduction","author":"H.A. Taha","year":"1997","unstructured":"H.A. Taha. Operations Research: An Introduction. Prentice-Hall Inc., London, 1997."},{"key":"10_CR24","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"P. Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, USA, 1989."},{"key":"10_CR25","unstructured":"P. Van Hentenryck; V. Saraswat and Y. Deville. \u201eConstraint Logic Programming over Finite Domains: the Design, Implementation, and Applications of cc(FD)\u201c. Technical report, Computer Science Department, Brown University, 1992."}],"container-title":["Lecture Notes in Computer Science","New Trends in Constraints"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44654-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T11:27:56Z","timestamp":1550316476000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44654-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678854","9783540446545"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-44654-0_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}