{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:17Z","timestamp":1725664937721},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617082"},{"type":"electronic","value":"9783540706694"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61708-6_78","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:15:19Z","timestamp":1330294519000},"page":"377-386","source":"Crossref","is-referenced-by-count":10,"title":["Constructive disjunction revisited"],"prefix":"10.1007","author":[{"given":"J\u00f6rg","family":"W\u00fcrtz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tobias","family":"M\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"issue":"number7","key":"39_CR1","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0895-7177(93)90068-A","volume":"17","author":"A. Aggoun","year":"1993","unstructured":"A. Aggoun and N. Beldiceanu,\u2019 Extending CHIP in order to solve complex scheduling and placement problems'. Mathl. Comput. Modelling, volume 17, number 7, pp. 57\u201373, (1993).","journal-title":"Mathl. Comput. Modelling"},{"key":"39_CR2","unstructured":"P. Baptiste and C. Le Pape, \u2018A theoretical and experimental comparison of constraint propagation techniques for disjunctive scheduling', in IJCAI, (1995)."},{"key":"39_CR3","doi-asserted-by":"crossref","unstructured":"B. Carlson and M. Carlsson, \u2018Compiling and executing disjuctions of finite domain constraints', in ICLP, pp. 117\u2013131, (1995).","DOI":"10.7551\/mitpress\/4298.003.0021"},{"key":"39_CR4","unstructured":"Y. Caseau and F. Laburthe, \u2018Improved clp scheduling with task intervals', in ICLP, (1994)."},{"key":"39_CR5","unstructured":"M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier, \u2018The constraint logic programming language CHIP', in FGCS, pp. 693\u2013702, (1988)."},{"key":"39_CR6","unstructured":"P. Van Hentenryck and Y. Deville, \u2018The Cardinality Operator: A New Logical Connective for Constraint Logic Programming', in ICLP, pp. 745\u2013759, (1991)."},{"key":"39_CR7","unstructured":"M. Henz and J. W\u00fcrtz, \u2018Using Oz for college time tabling', in International Conference on the Practice and Theory of Automated Time Tabling, pp. 283\u2013296, (1995)."},{"key":"39_CR8","doi-asserted-by":"crossref","unstructured":"J. Jourdan and T. Sola, \u2018The versatility of handling disjunctions as constraints', in PLILP, pp. 60\u201374, (1993).","DOI":"10.1007\/3-540-57186-8_71"},{"key":"39_CR9","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0743-1066(93)90047-K","volume":"16","author":"T. Provost le","year":"1993","unstructured":"T. le Provost and M. Wallace, \u2018Generalized constraint propagation over the CLP scheme', Journal of Logic Programming, 16, 319\u2013359, (1993).","journal-title":"Journal of Logic Programming"},{"key":"39_CR10","unstructured":"T. M\u00fcller and J. W\u00fcrtz, \u2018Constructive Disjunction in Oz', in 11. Workshop Logische Programmierung, (1995)."},{"key":"39_CR11","unstructured":"J.F. Muth and G.L. Thompson, Industrial Scheduling, Prentice Hall, 1963."},{"issue":"3","key":"39_CR12","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0743-1066(93)90047-K","volume":"16","author":"T. Provost Le","year":"1993","unstructured":"T. Le Provost and M. Wallace, \u2018Generalized constraint propagation over the CLP scheme', The Journal of Logic Programming, 16(3 & 4), 319\u2013359, (1993).","journal-title":"The Journal of Logic Programming"},{"key":"39_CR13","unstructured":"C. Schulte and G. Smolka, \u2018Encapsulated search in higher-order concurrent constraint programming', in ILPS, pp. 505\u2013520, (1994)."},{"key":"39_CR14","volume-title":"DFKI Oz documentation series","author":"G. Smolka","year":"1994","unstructured":"G. Smolka, \u2018The definition of Kernel Oz', DFKI Oz documentation series, Deutsches Forschungszentrum f\u00fcr K\u00fcnstliche Intelligenz GmbH, Stuhlsatzenhausweg 3, D-66123 Saarbr\u00fccken, Germany, (1994)."},{"key":"39_CR15","doi-asserted-by":"crossref","unstructured":"G. Smolka, \u2018The Oz programming model', in Computer Science Today, Lecture Notes in Computer Science, vol. 1000, 324\u2013343, Springer-Verlag, (1995).","DOI":"10.1007\/BFb0015252"},{"volume-title":"DFKI Oz Documentation Series","year":"1995","key":"39_CR16","unstructured":"DFKI Oz Documentation Series, eds., G. Smolka and R. Treinen, German Research Center for Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123 Saarbr\u00fccken, Germany, 1995."},{"key":"39_CR17","doi-asserted-by":"crossref","unstructured":"P. Van Hentenryck, V. Saraswat, and Y. Deville, \u2018Design, implementation and evaluation of the constraint language cc(FD)', in Constraints: Basics and Trends, Lecture Notes in Computer Science, vol. 910, Springer Verlag, (1995).","DOI":"10.1007\/3-540-59155-9_15"}],"container-title":["Lecture Notes in Computer Science","KI-96: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61708-6_78.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T17:42:33Z","timestamp":1713634953000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61708-6_78"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617082","9783540706694"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-61708-6_78","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}