{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T03:39:31Z","timestamp":1725680371923},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642298271"},{"type":"electronic","value":"9783642298288"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29828-8_12","type":"book-chapter","created":{"date-parts":[[2012,5,14]],"date-time":"2012-05-14T03:59:40Z","timestamp":1336967980000},"page":"180-194","source":"Crossref","is-referenced-by-count":3,"title":["A High Level Language for Solver Independent Model Manipulation and Generation of Hybrid Solvers"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Fontaine","sequence":"first","affiliation":[]},{"given":"Laurent","family":"Michel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Akgun, O., Miguel, I., Jefferson, C., Frisch, A., Hnich, B.: Extensible automated constraint modelling (2011)","DOI":"10.1609\/aaai.v25i1.7820"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-72397-4_1","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"D. Baatar","year":"2007","unstructured":"Baatar, D., Boland, N., Brand, S., Stuckey, P.: Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches. In: Van Hentenryck, P., Wolsey, L. (eds.) CPAIOR 2007. LNCS, vol.\u00a04510, pp. 1\u201315. Springer, Heidelberg (2007)"},{"key":"12_CR3","unstructured":"Daniel Fontaine, L.M.: A large-scale neighborhood search approach to matrix decomposition into consecutive-ones matrices. In: 8th Workshop on Local Search Techniques in Constraint Satisfaction, vol.\u00a09 (2011)"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1007\/978-3-540-89982-2_45","volume-title":"Logic Programming","author":"G.J. Duck","year":"2008","unstructured":"Duck, G.J., De Koninck, L., Stuckey, P.J.: Cadmium: An Implementation of ACD Term Rewriting. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 531\u2013545. Springer, Heidelberg (2008)"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/11799573_11","volume-title":"Logic Programming","author":"G.J. Duck","year":"2006","unstructured":"Duck, G.J., Stuckey, P.J., Brand, S.: ACD Term Rewriting. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol.\u00a04079, pp. 117\u2013131. Springer, Heidelberg (2006)"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/s10601-008-9047-y","volume":"13","author":"A. Frisch","year":"2008","unstructured":"Frisch, A., Harvey, W., Jefferson, C., Mart\u00ednez-Hern\u00e1ndez, B., Miguel, I.: Essence: A constraint language for specifying combinatorial problems. Constraints\u00a013, 268\u2013306 (2008)","journal-title":"Constraints"},{"key":"12_CR7","unstructured":"Moura, L.D., Passmore, G.O.: The strategy challenge in smt solving"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1007\/978-3-540-30201-8_35","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2004","author":"L. Perron","year":"2004","unstructured":"Perron, L., Shaw, P., Furnon, V.: Propagation Guided Large Neighborhood Search. In: Wallace, M. (ed.) CP 2004. LNCS, vol.\u00a03258, pp. 468\u2013481. Springer, Heidelberg (2004)"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-540-68155-7_18","volume-title":"Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems","author":"J. Puchinger","year":"2008","unstructured":"Puchinger, J., Stuckey, P.J., Wallace, M., Brand, S.: From High-Level Model to Branch-and-Price Solution in G12. In: Perron, L., Trick, M. (eds.) CPAIOR 2008. LNCS, vol.\u00a05015, pp. 218\u2013232. Springer, Heidelberg (2008)"},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s10601-009-9085-0","volume":"16","author":"J. Puchinger","year":"2011","unstructured":"Puchinger, J., Stuckey, P., Wallace, M., Brand, S.: Dantzig-wolfe decomposition and branch-and-price solving in g12. Constraints\u00a016, 77\u201399 (2011)","journal-title":"Constraints"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/3-540-45349-0_27","volume-title":"Principles and Practice of Constraint Programming - CP 2000","author":"P. Refalo","year":"2000","unstructured":"Refalo, P.: Linear Formulation of Constraint Programming Models and Hybrid Solvers. In: Dechter, R. (ed.) CP 2000. LNCS, vol.\u00a01894, pp. 369\u2013383. Springer, Heidelberg (2000)"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1007\/978-3-540-30201-8_41","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2004","author":"P. Refalo","year":"2004","unstructured":"Refalo, P.: Impact-Based Search Strategies for Constraint Programming. In: Wallace, M. (ed.) CP 2004. LNCS, vol.\u00a03258, pp. 557\u2013571. Springer, Heidelberg (2004)"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"774","DOI":"10.1007\/978-3-642-23786-7_58","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2011","author":"T. Schrijvers","year":"2011","unstructured":"Schrijvers, T., Tack, G., Wuille, P., Samulowitz, H., Stuckey, P.J.: Search Combinators. In: Lee, J. (ed.) CP 2011. LNCS, vol.\u00a06876, pp. 774\u2013788. Springer, Heidelberg (2011)"},{"key":"12_CR14","first-page":"417","volume-title":"Using constraint programming and local search methods to solve vehicle routing problems","author":"P. Shaw","year":"1998","unstructured":"Shaw, P.: Using constraint programming and local search methods to solve vehicle routing problems, pp. 417\u2013431. Springer, Heidelberg (1998)"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/11562931_3","volume-title":"Logic Programming","author":"P.J. Stuckey","year":"2005","unstructured":"Stuckey, P.J., de la Banda, M.G., Maher, M., Marriott, K., Slaney, J., Somogyi, Z., Wallace, M., Walsh, T.: The G12 Project: Mapping Solver Independent Models to Efficient Solutions. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol.\u00a03668, pp. 9\u201313. Springer, Heidelberg (2005)"},{"key":"12_CR16","unstructured":"Van Hentenryck, L., Michel, P.: Synthesis of constraint-based local search algorithms from high-level models. In: Proceedings of the National Conference on Artificial Intelligence, vol.\u00a01(CONF 22), pp. 273\u2013279 (2007)"}],"container-title":["Lecture Notes in Computer Science","Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29828-8_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,22]],"date-time":"2023-06-22T14:33:54Z","timestamp":1687444434000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29828-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642298271","9783642298288"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29828-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}