{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:26Z","timestamp":1725664286999},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584025"},{"type":"electronic","value":"9783540486954"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58402-1_20","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:53:39Z","timestamp":1330253619000},"page":"277-291","source":"Crossref","is-referenced-by-count":3,"title":["Improving search for job-shop scheduling with CLP(FD)"],"prefix":"10.1007","author":[{"given":"Silvia","family":"Breitinger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hendrik C. R.","family":"Lock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"20_CR1","unstructured":"Abderrahmane Aggoun and Nicolas Beldiceanu. Extending CHIP in order to solve complex scheduling and placement problems. In Journ\u00e9es Franco phones sur la Programmation en Logique, Lille, pages 51\u201366, 1992."},{"issue":"7","key":"20_CR2","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/79204.79209","volume":"33","author":"J. Cohen","year":"1990","unstructured":"Jacques Cohen. Constraint logic programming languages. Communications of the ACM, 33(7):52\u201368, 1990.","journal-title":"Communications of the ACM"},{"issue":"7","key":"20_CR3","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1145\/79204.79210","volume":"33","author":"A. Colmerauer","year":"1990","unstructured":"Alain Colmerauer. An introduction to Prolog III. Communications of the ACM, 33(7):70\u201390, 1990.","journal-title":"Communications of the ACM"},{"issue":"2","key":"20_CR4","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1287\/mnsc.35.2.164","volume":"35","author":"J. Carlier","year":"1989","unstructured":"J. Carlier and E. Pinson. An algorithm for solving the job-shop problem. Management Science, 35(2):164\u2013176, Feb. 1989.","journal-title":"Management Science"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Mehmet Dincbas, Pascal Van Hentenryck, H. Simonis, A. Aggoun, and T. Graf. Applications of CHIP to industrial and engineering problems. In First Int. Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Tullahoma, Tennessee, June 1988.","DOI":"10.1145\/55674.55703"},{"key":"20_CR6","first-page":"45","volume-title":"Summer School in Logic Programming","author":"Owen V. V. Evans","year":"1992","unstructured":"Owen V. Evans. Factory scheduling using finite domains. In Summer School in Logic Programming, Z\u00fcrich, pages 45\u201353. LNAI, Springer, 1992."},{"key":"20_CR7","first-page":"3","volume-title":"Summer School in Logic Programming","author":"T. Fr\u00fchwirth","year":"1992","unstructured":"T. Fr\u00fchwirth, A. Herold, V. K\u00fcchenhoff, T. Le Provost, P. Lim, E. Monfroy, and M. Wallace. Constraint logic programming \u2014 an informal introduction. In Summer School in Logic Programming, Z\u00fcrich, pages 3\u201335. LNAI, Springer, 1992."},{"key":"20_CR8","unstructured":"Pascal Van Hentenryck and Yves Deville. The cardinality operator: A new logical connective for constraint logic programming. In Proceedings of the 8th Int. Conf. on Logic Programming, MIT Press, pages 745\u2013769, 1991."},{"key":"20_CR9","unstructured":"Pascal Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, 1989."},{"key":"20_CR10","unstructured":"Joxan Jaffar, Spiro Michaylov, Peter Stuckey, and Roland Yap. The CLP(R) language and system. Technical report, Technical Report RC 16292 11\/15\/90, IBM Research Division, 1990."},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Jean Jourdan and Thierry Sola. The versatility of handling disjunctions as constraints. In PLILP '93, LNCS 714, pages 60\u201374, 1993.","DOI":"10.1007\/3-540-57186-8_71"},{"issue":"1","key":"20_CR12","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0004-3702(85)90041-4","volume":"25","author":"A. K. Mackworth","year":"1985","unstructured":"A.K. Mackworth and E.C. Freuder. The complexity of some polynomial network consistency algorithms for constraint satisfaction problems. Artificial Intelligence, 25(1):65\u201374, 1985.","journal-title":"Artificial Intelligence"},{"key":"20_CR13","volume-title":"Industrial Scheduling","author":"J. F. Muth","year":"1963","unstructured":"J.F. Muth and G.L Thompson. Industrial Scheduling. Prentice-Hall, Englewood Cliffs, New Jersey, 1963."},{"key":"20_CR14","unstructured":"Norman Sadeh. Look-Ahead Techniques for Micro-Opportunistic Job-Shop Scheduling. PhD thesis, Carnegie Mellon University, March 1991."},{"key":"20_CR15","unstructured":"N. Sadeh and M. Fox. Variable and value ordering heuristics for hard constraint satisfaction problems: an application to job-shop scheduling. In 4th Int. Conference on Expert Systems in Production and Operations Management, Hilton Head, South Carolina, 1990."},{"key":"20_CR16","volume-title":"Technical report","author":"N. Sadeh","year":"1991","unstructured":"N. Sadeh and M. Fox. Variable and value ordering heuristics for hard constraint satisfaction problems: an application to job-shop scheduling. Technical report, Carnegie Mellon University, Pittsburgh, Pennsylvania 15213, 1991."},{"key":"20_CR17","unstructured":"Mark Wallace. Constraint in planning, scheduling and placement problems. Technical report, ECRC, Report CORE-93-6, June 1993. appeared in Constraint Programming, Springer, 1994."}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58402-1_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:19:59Z","timestamp":1605629999000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58402-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584025","9783540486954"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-58402-1_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}