{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:04:11Z","timestamp":1725483851511},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441205"},{"type":"electronic","value":"9783540461357"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46135-3_39","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T01:59:47Z","timestamp":1179194387000},"page":"587-602","source":"Crossref","is-referenced-by-count":6,"title":["Visopt ShopFloor: On the Edge of Planning and Scheduling"],"prefix":"10.1007","author":[{"given":"Roman","family":"Bart\u00e1k","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,2]]},"reference":[{"key":"39_CR1","unstructured":"Baptiste, P. and Le Pape, C: Edge-finding constraint propagation algorithms for disjunctive and cumulative scheduling, in Proceedings of the Fifteenth Workshop of the U.K. Planning Special Interest Group (1996)."},{"key":"39_CR2","unstructured":"Bart\u00e1k, R.: Conceptual Models for Combined Planning and Scheduling. Electronic Notes in Discrete Mathematics, Volume 4, Elsevier (1999)."},{"key":"39_CR3","doi-asserted-by":"crossref","unstructured":"Bart\u00e1k, R.: Dynamic Constraint Models for Planning and Scheduling Problems. Proceedings of the ERCIM\/CompulogNet Workshop on Constraint Programming, LNAI Series, Springer Verlag (2000).","DOI":"10.1007\/3-540-44654-0_12"},{"key":"39_CR4","unstructured":"Bart\u00e1k, R.: Filtering Algorithms for Tabular Constraints, in Proceedings of CP2001 Workshop CICLOPS, Paphos, Cyprus (2001), 168\u2013182."},{"key":"39_CR5","unstructured":"Bart\u00e1k, R.: Dynamic Global Constraints in Backtracking Based Environments, in Annals of Operations Research, Kluwer (2002), to appear."},{"key":"39_CR6","unstructured":"Bart\u00e1k, R.: Modelling Transition Constraints. The ECAI Workshop on Modelling and Solving Problems with Constraints (2002)."},{"key":"39_CR7","unstructured":"Beck, J.Ch. and Fox, M.S.: Scheduling Alternative Activities. Proceedings of AAAI-99, USA (1999), 680\u2013687."},{"key":"39_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the 9th ISMIS96","author":"V. Brusoni","year":"1996","unstructured":"Brusoni, V., Console, L., Lamma. E., Mello, P., Milano, M., Terenziani, P.: Resource-based vs. Task-based Approaches for Scheduling Problems. Proceedings of the 9\n                  \n                    th\n                  \n                  ISMIS96, LNCS Series, Springer Verlag (1996)."},{"key":"39_CR9","volume-title":"IEEE Symposium on Logic Programming","author":"H. Gallaire","year":"1985","unstructured":"Gallaire, H.: Logic Programming: Further Developments, in: IEEE Symposium on Logic Programming, Boston, IEEE (1985)."},{"key":"39_CR10","unstructured":"Joslin, D. and Pollack M.E.: Passive and Active Decision Postponement in Plan Generation. Proceedings of the Third European Conference on Planning (1995)."},{"key":"39_CR11","unstructured":"Laborie P.: Algorithms for Propagating Resource Constraints in AI Planning and Scheduling: Existing Approaches and New Results. In Proceedings of 6\n                  \n                    th\n                  \n                  European Conference on Planning, Toledo, Spain (2001), 205\u2013216."},{"key":"39_CR12","unstructured":"Mittal, S. and Falkenhainer, B.: Dynamic Constraint Satisfaction Problems. Proceedings ofAAAI-90, USA (1990), 25\u201332."},{"key":"39_CR13","unstructured":"Nareyek, A.: Structural Constraint Satisfaction. Proceedings of AAAI-99 Workshop on Configuration (1999)."},{"key":"39_CR14","doi-asserted-by":"crossref","unstructured":"Nareyek, A.: AI Planning in a Constraint Programming Framework. Proceedings of the Third International Workshop on Communication-Based Systems (2000).","DOI":"10.1007\/978-94-015-9608-4_13"},{"key":"39_CR15","unstructured":"Pegman, M.: Short Term Liquid Metal Scheduling. Proceedings of PAPPACT98 Conference, London (1998), 91\u201399."},{"key":"39_CR16","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck van","year":"1989","unstructured":"van Hentenryck, P.: Constraint Satisfaction in Logic Programming, The MIT Press, Cambridge, Mass. (1989)."},{"key":"39_CR17","unstructured":"Van Hentenryck, P., Deville, Y.: The Cardinality Operator: A new Logical Connective for Constraint Logic Programming. Proceedings of the International Conference on Logic Programming (1991), 745\u2013759."},{"key":"39_CR18","doi-asserted-by":"crossref","unstructured":"Wallace, M.: Applying Constraints for Scheduling, in: Constraint Programming, Mayoh B. and Penjaak J. (eds.), NATO ASI Series, Springer Verlag (1994).","DOI":"10.1007\/978-3-642-85983-0_7"},{"issue":"2","key":"39_CR19","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1023\/A:1009757726572","volume":"2","author":"J. Zhou","year":"1997","unstructured":"Zhou, J.: A Permutation-Based Approach for Solving the Job-Shop Problem. Constraints, vol. 2 no. 2 (1997), 185\u2013213.","journal-title":"Constraints"},{"key":"39_CR20","unstructured":"Visopt B.V. \n                    http:\/\/www.visopt.com"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming - CP 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46135-3_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T11:59:02Z","timestamp":1550318342000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46135-3_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441205","9783540461357"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-46135-3_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2002]]}}}