{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:51:42Z","timestamp":1742914302155,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540428633"},{"type":"electronic","value":"9783540455783"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"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":[[2001]]},"DOI":"10.1007\/3-540-45578-7_29","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T06:34:25Z","timestamp":1180334065000},"page":"422-432","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Phase Transition of the Linear Inequalities Problem"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Armando","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felice","family":"Peccia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silvio","family":"Ranise","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,11,19]]},"reference":[{"key":"29_CR1","unstructured":"B. Bollobas, C. Borgs, J. Chayes, J. Kim, and D. Wilson. The scaling window of the 2-sat transition. Technical report, Microsoft Research, 1999."},{"key":"29_CR2","unstructured":"Michel Berkelaar. LP Solve 3.2. Available at the URL: \nftp:\/\/ftp.es.ele.tue.nl\/pub\/lp_solve\/\n\n."},{"key":"29_CR3","first-page":"83","volume":"11","author":"R.S. Boyer","year":"1988","unstructured":"R.S. Boyer and J S. Moore. Integrating Decision Procedures into Heuristic Theorem Provers: A Case Studyof Linear Arithmetic. Machine Intelligence, 11:83\u2013124, 1988.","journal-title":"Machine Intelligence"},{"key":"29_CR4","volume-title":"Linear Programming","author":"V. Chv\u00e1tal","year":"1983","unstructured":"Vav\u0161ek Chv\u00e1tal. Linear Programming. W. H. Freeman and Company, New York, 1983."},{"key":"29_CR5","doi-asserted-by":"publisher","DOI":"10.7249\/R366","volume-title":"Linear Programming and Extensions","author":"G. B. Dantzig","year":"1963","unstructured":"G. B. Dantzig. Linear Programming and Extensions. Princeton University Press, Princeton, New Jersey, 1963."},{"key":"29_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/BFb0017449","volume-title":"The constrainedness of arc consistency","author":"I. P. Gent","year":"1997","unstructured":"I. P. Gent, E. MacIntyre, P. Prosser, and P. Shaw. The constrainedness of arc consistency. Lecture Notes in Computer Science, 1330:327\u2013340, 1997."},{"key":"29_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1007\/3-540-60299-2_5","volume-title":"Scaling effiects in the CSP phase transition","author":"I. P. Gent","year":"1995","unstructured":"I. P. Gent, E. MacIntyre, P. Prosser, and T. Walsh. Scaling effiects in the CSP phase transition. Lecture Notes in Computer Science, 976:70\u201387, 1995."},{"key":"29_CR8","unstructured":"Ian P. Gent, Ewan MacIntyre, Patrick Prosser, and Toby Walsh. The constrainedness of search. In Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference, pages 246\u2013252, Menlo Park, August 4-8 1996. AAAI Press \/ MIT Press."},{"key":"29_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1007\/3-540-61551-2_106","volume-title":"The arc and path consistencyphase transitions","author":"S. A. Grant","year":"1996","unstructured":"S. A. Grant and B. M. Smith. The arc and path consistencyphase transitions. Lecture Notes in Computer Science, 1118:541\u2013542, 1996."},{"key":"29_CR10","doi-asserted-by":"crossref","unstructured":"T. A. Henzinger, P-H. Ho, and H. Wong-Toi. HYTECH: A model checker for hybrid systems. In Proc. 9th International Computer Aided Verification Conference, pages 460\u2013463, 1997.","DOI":"10.1007\/3-540-63166-6_48"},{"issue":"3","key":"29_CR11","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, and Roland H. C. Yap. The CLP(R) language and system. TOPLAS, 14(3):339\u2013395, July1992.","journal-title":"TOPLAS"},{"key":"29_CR12","doi-asserted-by":"publisher","first-page":"1297","DOI":"10.1126\/science.264.5163.1297","volume":"264","author":"S. Kirkpatrick","year":"1994","unstructured":"S. Kirkpatrick and B. Selman. Critical behavior in the satisfiability of random boolean expressions. Science, 264:1297\u20131301, 1994.","journal-title":"Science"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP 2001"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45578-7_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T21:08:51Z","timestamp":1585602531000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45578-7_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540428633","9783540455783"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45578-7_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"19 November 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}