{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T09:07:06Z","timestamp":1649063226357},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1994,12,1]],"date-time":"1994-12-01T00:00:00Z","timestamp":786240000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Oper Res"],"published-print":{"date-parts":[[1994,12]]},"DOI":"10.1007\/bf02085650","type":"journal-article","created":{"date-parts":[[2005,8,14]],"date-time":"2005-08-14T11:22:06Z","timestamp":1124018526000},"page":"411-426","source":"Crossref","is-referenced-by-count":2,"title":["Heuristics and look-ahead integration to solve constraint satisfaction problems efficiently"],"prefix":"10.1007","volume":"50","author":[{"given":"Francisco","family":"Menezes","sequence":"first","affiliation":[]},{"given":"Pedro","family":"Barahona","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF02085650_CR1","unstructured":"F. Azevedo and P. Barahona, Timetabling in constraint logic programming, submitted for publication (1993)."},{"key":"BF02085650_CR2","doi-asserted-by":"crossref","unstructured":"A. Colmerauer,Prolog III universe, Commun. ACM 33(1990).","DOI":"10.1145\/79204.79210"},{"key":"BF02085650_CR3","unstructured":"M. Dincbas, P. van Hentenryck, H. Simonis, A. Aggoun, T. Graf and F. Berthier, The constraint logic programming languageChip,Proc. FGCS'88, Tokyo (1988)."},{"key":"BF02085650_CR4","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"M.R. Garey","year":"1979","unstructured":"M.R. Garey and D.S. Johnson,Computers and Intractability: A Guide to the Theory of NP-Completeness (Freeman, New York, 1979)."},{"key":"BF02085650_CR5","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck van","year":"1989","unstructured":"P. van Hentenryck,Constraint Satisfaction in Logic Programming (The MIT Press, Cambridge, MA, 1989)."},{"key":"BF02085650_CR6","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.-L. Lassez, Constraint logic programming,Proc. 14th ACM POPL Symp., Munich (1987).","DOI":"10.1145\/41625.41635"},{"key":"BF02085650_CR7","unstructured":"J. Jaffar and S. Michaylov, Methodology and implementation of a CLP system,Proc. 4th ICLP, Melbourne (1987)."},{"key":"BF02085650_CR8","doi-asserted-by":"crossref","unstructured":"P. Meseguer, Constraint satisfaction problems: An overview, AI Commun. 2(1989).","DOI":"10.3233\/AIC-1989-2101"},{"key":"BF02085650_CR9","volume-title":"Principles of Artificial Intelligence","author":"N. Nilsson","year":"1980","unstructured":"N. Nilsson,Principles of Artificial Intelligence (Tioga, Palo Alto, 1980)."},{"key":"BF02085650_CR10","volume-title":"Artificial Intelligence","author":"E. Rich","year":"1983","unstructured":"E. Rich,Artificial Intelligence (McGraw-Hill, New York, 1983)."}],"container-title":["Annals of Operations Research"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02085650.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02085650\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02085650","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T00:48:34Z","timestamp":1586393314000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02085650"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,12]]},"references-count":10,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994,12]]}},"alternative-id":["BF02085650"],"URL":"https:\/\/doi.org\/10.1007\/bf02085650","relation":{},"ISSN":["0254-5330","1572-9338"],"issn-type":[{"value":"0254-5330","type":"print"},{"value":"1572-9338","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,12]]}}}