{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T23:28:04Z","timestamp":1743031684394,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"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_60","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T06:34:25Z","timestamp":1180334065000},"page":"745-759","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Constraint Engine for Manufacturing Process Planning"],"prefix":"10.1007","author":[{"given":"J\u00f3zsef","family":"V\u00e1ncza","sequence":"first","affiliation":[]},{"given":"Andr\u00e1s","family":"M\u00e1rkus","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,11,19]]},"reference":[{"key":"60_CR1","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1017\/S0890060499132049","volume":"13","author":"M. Balaban","year":"1999","unstructured":"Balaban, M., Braha, D.: Temporal Reasoning in Process Planning. Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 13, 91\u2013104, (1999)","journal-title":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing"},{"key":"60_CR2","unstructured":"Birtanik, J., Marefat, M.: Hierarchical Plan Merging with Application to Process Planning. In: Proc. of the IJCAI\u201995, Montreal, 1677\u201311683, (1995)"},{"key":"60_CR3","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1017\/S0890060400003140","volume":"11","author":"K.N. Brown","year":"1997","unstructured":"Brown, K.N., Cagan, J.: Optimized Process Planning by Generative Simulated Annealing. Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 11, 219\u2013235, (1997)","journal-title":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing"},{"key":"60_CR4","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0004-3702(85)90053-0","volume":"27","author":"Y. Descotte","year":"1985","unstructured":"Descotte, Y., Latombe, J.-C.: Making Compromises among Antagonist Constraints in a Planner. Artificial Intelligence, 27, 183\u2013217, (1985)","journal-title":"Artificial Intelligence"},{"issue":"14","key":"60_CR5","doi-asserted-by":"publisher","first-page":"3185","DOI":"10.1080\/002075499190239","volume":"37","author":"J.R. Duflou","year":"1999","unstructured":"Duflou, J.R., Van Oudheusden, D., Kruth, J.-P., Cattrysse, D.: Methods for the Sequencing of Sheet Metal Bending Operations. Int. J. of Production Research, 37(14), 3185\u20133202, (1999)","journal-title":"Int. J. of Production Research"},{"issue":"3","key":"60_CR6","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1109\/5254.683210","volume":"13","author":"S.K. Gupta","year":"1998","unstructured":"Gupta, S.K., Nau, D.S., Regli, W.C.: IMACS: A Case Study in Real-World Planning. IEEE Intelligent Systems, 13(3), 49\u201360, (1998)","journal-title":"IEEE Intelligent Systems"},{"issue":"2","key":"60_CR7","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/S0278-6125(99)80017-X","volume":"18","author":"S.K. Gupta","year":"1999","unstructured":"Gupta, S.K.: Sheet Metal Bending Operation Planning: Using Virtual Node Generation to Improve Search Efficiency. Journal of Manufacturing Systems, 18(2), 127\u2013139, (1999)","journal-title":"Journal of Manufacturing Systems"},{"key":"60_CR8","doi-asserted-by":"crossref","unstructured":"Halevi, G., Weill, R.D.: Principles of Process Planning. Chapman & Hall, 1995.","DOI":"10.1007\/978-94-011-1250-5"},{"key":"60_CR9","unstructured":"Harvey, W.D., Ginsberg, M.L.: Limited Discrepancy Search. In: Proc. of the IJCAI\u2019 95, Montreal, 607\u2013613, (1995)"},{"key":"60_CR10","unstructured":"Horv\u00e1th, M., M\u00e1rkus, A.: Operation Sequence Planning Using Optimization Concepts and Logic Programming. In: Proceedings of IFAC 9th World Congress, Budapest, Vol. VI. 153\u2013156 (1984)"},{"key":"60_CR11","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1080\/095119296131751","volume":"9","author":"M. Horv\u00e1th","year":"1996","unstructured":"Horv\u00e1th, M., M\u00e1rkus, A., V\u00e1ncza, J.: Process Planning with Genetic Algorithms on Results of Knowledge-Based Reasoning. Int. J. of Computer Integrated Manufacturing, 9, 145\u2013166, (1996)","journal-title":"Int. J. of Computer Integrated Manufacturing"},{"issue":"6","key":"60_CR12","doi-asserted-by":"publisher","first-page":"1503","DOI":"10.1109\/21.257750","volume":"23","author":"S. Kambhampati","year":"1993","unstructured":"Kambhampati, S., Cutkosky, M.R., Tenenbaum, J.M., Lee, S.H.: Integrating General Purpose Planners and Specialized Reasoners: Case Study of a Hybrid Planning Architecture. IEEE Trans. on Systems, Man, and Cybernetics, 23(6), 1503\u20131518, (1993)","journal-title":"IEEE Trans. on Systems, Man, and Cybernetics"},{"key":"60_CR13","unstructured":"Kis, T., V\u00e1ncza, J.: Computational Complexity of Manufacturing Process Planning. In: Ghallab, M. and Milani, A. (eds.), New Directions in AI Planning, IOS Press, 299\u2013311, 1996."},{"issue":"1","key":"60_CR14","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1016\/S0007-8506(07)62132-5","volume":"50","author":"A. M\u00e1rkus","year":"2001","unstructured":"M\u00e1rkus A., V\u00e1ncza J.: Process Planning with Conditional and Conflicting Advice. Annals of the CIRP, 50(1), 327\u2013330, (2001)","journal-title":"Annals of the CIRP"},{"key":"60_CR15","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/BF01199881","volume":"14","author":"H.B. Marri","year":"1998","unstructured":"Marri, H.B., Gunasekaran, A., Grieve, R.J.: Computer-Aided Process Planning: A State of the Art. Int. J. of Advanced Manufacturing Technology, 14, 261\u2013268, (1998)","journal-title":"Int. J. of Advanced Manufacturing Technology"},{"issue":"2","key":"60_CR16","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0278-6125(96)82335-1","volume":"15","author":"S.E. Sarma","year":"1996","unstructured":"Sarma, S.E., Wright, P.K.: Algorithms for the Minimization of Setups and Tool Changes in \u201cSimply Fixturable\u201d Components in Milling. Journal of Manufacturing Systems, 15(2), 95\u2013112, (1996)","journal-title":"Journal of Manufacturing Systems"},{"key":"60_CR17","unstructured":"Schiex, T.: Valued constraints networks. CP\u20192000 Workshop on Modelling and Solving Soft Constraints, Singapore, (2000). \nhttp:\/\/www.math.unipd.it\/~frossi\/cp2000-soft\/"},{"key":"60_CR18","unstructured":"Shah, J.J., M\u00e4ntyl\u00e4, M.: Parametric and Feature-Based CAD\/CAM. Wiley, 1995."},{"key":"60_CR19","unstructured":"Tate, S.J., Jared, G.E.M., Swift, K.G.: Detecting of Symmetry and Primary Axes in Support of Proactive Design for Assembly. In: Bronsvoort, W.F., Anderson, D.C. (eds.), Proc. of the Fifth Symposium on Solid Modeling and Applications, Ann Arbor, MI, ACM Press, 151\u2013158, 1999."},{"issue":"1","key":"60_CR20","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/S0007-8506(07)62869-8","volume":"47","author":"K. Teramoto","year":"1998","unstructured":"Teramoto, K., Onosato, M., Iwata, K.: Coordinative Generation of Machining and Fixturing Plans by a Modularized Problem Solver. Annals of the CIRP, 47(1), 437\u2013440, (1998)","journal-title":"Annals of the CIRP"},{"key":"60_CR21","unstructured":"Tsang, E.P.K.: Foundations of Constraint Satisfaction, Academic Press, 1993."},{"key":"60_CR22","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0166-3615(91)90031-4","volume":"17","author":"J. V\u00e1ncza","year":"1991","unstructured":"V\u00e1ncza J., M\u00e1rkus A.: Genetic Algorithms in Process Planning. Computers in Industry, 17, 181\u2013194, (1991)","journal-title":"Computers in Industry"},{"issue":"2","key":"60_CR23","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1023\/A:1008828231525","volume":"9","author":"J. V\u00e1ncza","year":"1998","unstructured":"V\u00e1ncza, J., Horv\u00e1th, M., Stank\u00f3czi, Z.: Robotic Inspection Plan Optimization by Case-Based Reasoning. Journal of Intelligent Manufacturing, 9(2), 181\u2013188, (1998)","journal-title":"Journal of Intelligent Manufacturing"},{"key":"60_CR24","unstructured":"V\u00e1ncza, J., M\u00e1rkus, A.: Solving Conditional and Conflicting Constraints in Manufacturing Process Planning. In: Proc. of the CP-AI-OR\u20192001 Workshop, Wye, (2001) \nhttp:\/\/www.icparc.ic.ac.uk\/cpAIOR01\/"},{"key":"60_CR25","unstructured":"Wallace, M.G.: Constraint Programming. In: Liebowitz, J. (ed.), The Handbook of Applied Expert Systems, CRC Press, 1998."},{"issue":"3","key":"60_CR26","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/S0736-5845(97)00009-4","volume":"13","author":"Ch.-H. Wang","year":"1997","unstructured":"Wang, Ch.-H., Bourne, D.A.: Design and Manufacturing of Sheet-Metal Parts: Using Features to Aid Process Planning and Resolve Manufacturability Problems. Robotics and Computer Integrated Manufacturing, 13(3), 281\u2013294, (1997)","journal-title":"Robotics and Computer Integrated Manufacturing"},{"issue":"1","key":"60_CR27","first-page":"99","volume":"22","author":"D.E. Wilkins","year":"2001","unstructured":"Wilkins, D.E., desJardins, M.: A Call for Knowledge-Based Planning. AI Magazine, 22(1), 99\u2013115, (2001).","journal-title":"AI Magazine"},{"issue":"6","key":"60_CR28","doi-asserted-by":"publisher","first-page":"1453","DOI":"10.1080\/002075498193110","volume":"36","author":"G. Zeir van","year":"1998","unstructured":"Zeir, G. van, Kruth, J.-P., Detand, J.: A Conceptual Framework for Interactive and Blackboard-Based CAPP. Int. J. of Production Research, 36(6), 1453\u20131473, (1998)","journal-title":"Int. J. of Production Research"},{"key":"60_CR29","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/S0736-5845(98)00031-3","volume":"15","author":"H.-C. Zhang","year":"1999","unstructured":"Zhang, H.-C., Lin, E.: A Hybrid-Graph Approach for Automated Setup Planning in CAPP. Robotics and Computer-Integrated Manufacturing, 15, 89\u2013100, (1999)","journal-title":"Robotics and Computer-Integrated Manufacturing"}],"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_60","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T21:10:35Z","timestamp":1585602635000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45578-7_60"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540428633","9783540455783"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-45578-7_60","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"}}]}}