{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T13:05:11Z","timestamp":1743080711331,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319078564"},{"type":"electronic","value":"9783319078571"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07857-1_91","type":"book-chapter","created":{"date-parts":[[2014,5,19]],"date-time":"2014-05-19T05:35:47Z","timestamp":1400477747000},"page":"519-522","source":"Crossref","is-referenced-by-count":0,"title":["Easy Modeling of Open Pit Mining Problems via Constraint Programming"],"prefix":"10.1007","author":[{"given":"Broderick","family":"Crawford","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ricardo","family":"Soto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carolina","family":"Zec","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Monfroy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Paredes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"91_CR1","doi-asserted-by":"publisher","first-page":"1064","DOI":"10.1016\/j.cor.2007.12.006","volume":"36","author":"N. Boland","year":"2009","unstructured":"Boland, N., Dumitrescu, I., Froyland, G., Gleixner, A.: LP-based disaggregation approaches to solving the open pit mining production scheduling problem with block processing selectivity. Computers & Operations Research\u00a036(4), 1064\u20131089 (2009)","journal-title":"Computers & Operations Research"},{"issue":"2-3","key":"91_CR2","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1023\/A:1024835022186","volume":"27","author":"L. Caccetta","year":"2003","unstructured":"Caccetta, L., Hill, S.: An application of branch and cut to open pit mine scheduling. Journal of Global Optimization\u00a027(2-3), 349\u2013365 (2003)","journal-title":"Journal of Global Optimization"},{"key":"91_CR3","doi-asserted-by":"crossref","unstructured":"Chenouard, R., Granvilliers, L., Soto, R.: Model-Driven Constraint Programming. In: Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP), pp. 236\u2013246 (2008)","DOI":"10.1145\/1389449.1389479"},{"issue":"3","key":"91_CR4","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1287\/opre.1120.1050","volume":"60","author":"R. Chicoisne","year":"2012","unstructured":"Chicoisne, R., Espinoza, D., Goycoolea, M., Moreno, E., Rubio, E.: A New Algorithm for the Open-Pit Mine Production Scheduling Problem. Operations Research\u00a060(3), 517\u2013528 (2012)","journal-title":"Operations Research"},{"issue":"2","key":"91_CR5","first-page":"106","volume":"15","author":"B. Crawford","year":"2012","unstructured":"Crawford, B., Castro, C., Monfroy, E., Soto, R., Palma, W., Paredes, F.: Dynamic Selection of Enumeration Strategies for Solving Constraint Satisfaction Problems. Romanian Journal of Information Science and Technology\u00a015(2), 106\u2013128 (2012)","journal-title":"Romanian Journal of Information Science and Technology"},{"key":"91_CR6","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1007\/978-3-642-22098-2_112","volume-title":"HCI International 2011 \u2013 Posters\u2019 Extended Abstracts","author":"B. Crawford","year":"2011","unstructured":"Crawford, B., Soto, R., Castro, C., Monfroy, E.: Extensible CP-based autonomous search. In: Stephanidis, C. (ed.) Posters, Part I, HCII 2011. CCIS, vol.\u00a0173, pp. 561\u2013565. Springer, Heidelberg (2011)"},{"key":"91_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-642-21822-4_9","volume-title":"Modern Approaches in Applied Intelligence","author":"B. Crawford","year":"2011","unstructured":"Crawford, B., Soto, R., Montecinos, M., Castro, C., Monfroy, E.: Monfroy, E.: A framework for autonomous search in the ecl\n                    i\n                  ps\n                    e\n                   solver. In: Mehrotra, K.G., Mohan, C.K., Oh, J.C., Varshney, P.K., Ali, M. (eds.) IEA\/AIE 2011, Part I. LNCS, vol.\u00a06703, pp. 79\u201384. Springer, Heidelberg (2011)"},{"key":"91_CR8","unstructured":"Denby, B., Schofield, D.: Open-pit design and scheduling by use of genetic algorithms. Transactions of the Institution of Mining and Metallurgy, Section A: Mining Industry\u00a026, A21\u2013A26 (1994)"},{"key":"91_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/978-3-540-74970-7_38","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"N. Nethercote","year":"2007","unstructured":"Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.R.: MiniZinc: Towards a Standard CP Modelling Language. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol.\u00a04741, pp. 529\u2013543. Springer, Heidelberg (2007)"},{"issue":"2","key":"91_CR10","doi-asserted-by":"publisher","first-page":"1153","DOI":"10.1016\/j.ejor.2005.12.035","volume":"177","author":"S. Ramazan","year":"2007","unstructured":"Ramazan, S.: The new Fundamental Tree Algorithm for production scheduling of open pit mines. European Journal of Operational Research\u00a0177(2), 1153\u20131166 (2007)","journal-title":"European Journal of Operational Research"},{"key":"91_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"582","DOI":"10.1007\/978-3-642-16952-6_59","volume-title":"Advances in Artificial Intelligence \u2013 IBERAMIA 2010","author":"R. Soto","year":"2010","unstructured":"Soto, R.: Controlling search in constrained-object models. In: Kuri-Morales, A., Simari, G.R. (eds.) IBERAMIA 2010. LNCS, vol.\u00a06433, pp. 582\u2013591. Springer, Heidelberg (2010)"},{"issue":"15","key":"91_CR12","doi-asserted-by":"publisher","first-page":"5817","DOI":"10.1016\/j.eswa.2013.05.019","volume":"40","author":"R. Soto","year":"2013","unstructured":"Soto, R., Crawford, B., Galleguillos, C., Monfroy, E., Paredes, F.: A hybrid ac3-tabu search algorithm for solving sudoku puzzles. Expert Syst. Appl.\u00a040(15), 5817\u20135821 (2013)","journal-title":"Expert Syst. Appl."},{"key":"91_CR13","doi-asserted-by":"crossref","unstructured":"Soto, R., Crawford, B., Galleguillos, C., Monfroy, E., Paredes, F.: A Pre-filtered Cuckoo Search Algorithm with Geometric Operators for Solving Sudoku Problems. The Scientific World Journal, Article ID 465359 (2014)","DOI":"10.1155\/2014\/465359"},{"key":"91_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/978-3-642-31137-6_46","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2012","author":"R. Soto","year":"2012","unstructured":"Soto, R., Crawford, B., Monfroy, E., Bustos, V.: Using autonomous search for generating good enumeration strategy blends in constraint programming. In: Murgante, B., Gervasi, O., Misra, S., Nedjah, N., Rocha, A.M.A.C., Taniar, D., Apduhan, B.O. (eds.) ICCSA 2012, Part III. LNCS, vol.\u00a07335, pp. 607\u2013617. Springer, Heidelberg (2012)"},{"issue":"1","key":"91_CR15","first-page":"52","volume":"16","author":"R. Soto","year":"2013","unstructured":"Soto, R., Crawford, B., Monfroy, E., Palma, W., Paredes, F.: Nurse and Paramedic Rostering with Constraint Programming: A Case Study. Romanian Journal of Information Science and Technology\u00a016(1), 52\u201364 (2013)","journal-title":"Romanian Journal of Information Science and Technology"},{"issue":"1","key":"91_CR16","first-page":"41","volume":"21","author":"R. Soto","year":"2012","unstructured":"Soto, R., Crawford, B., Monfroy, E., Paredes, F.: Syntax Extensions for a Constrained-Object Language via Dynamic Parser Cooperation. Studies in Informatics and Control\u00a021(1), 41\u201348 (2012)","journal-title":"Studies in Informatics and Control"},{"key":"91_CR17","doi-asserted-by":"crossref","unstructured":"Soto, R., Granvilliers, L.: The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models. In: Proceedings of IEEE ICTAI, pp. 243\u2013250 (2007)","DOI":"10.1109\/ICTAI.2007.119"},{"issue":"13","key":"91_CR18","doi-asserted-by":"publisher","first-page":"11423","DOI":"10.1016\/j.eswa.2012.04.020","volume":"39","author":"R. Soto","year":"2012","unstructured":"Soto, R., Kjellerstrand, H., Duran, O., Crawford, B., Monfroy, E., Paredes, F.: Cell formation in group technology using constraint programming and boolean satisfiability. Expert Syst. Appl.\u00a039(13), 11423\u201311427 (2012)","journal-title":"Expert Syst. Appl."},{"key":"91_CR19","unstructured":"Zhang, M.: Combining genetic algorithms and topological sort to optimize open-pit mine plans. In: Proceedings of the 15th Mine Planning and Equipment Selection, pp. 1234\u20131239 (2006)"}],"container-title":["Communications in Computer and Information Science","HCI International 2014 - Posters\u2019 Extended Abstracts"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07857-1_91","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,6]],"date-time":"2020-03-06T15:16:11Z","timestamp":1583507771000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07857-1_91"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319078564","9783319078571"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07857-1_91","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]}}}