{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:39:17Z","timestamp":1725889157316},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319600413"},{"type":"electronic","value":"9783319600420"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-60042-0_3","type":"book-chapter","created":{"date-parts":[[2017,6,3]],"date-time":"2017-06-03T08:32:44Z","timestamp":1496478764000},"page":"21-30","source":"Crossref","is-referenced-by-count":2,"title":["Cluster-Specific Heuristics for Constraint Solving"],"prefix":"10.1007","author":[{"given":"Seda Polat","family":"Erdeniz","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Felfernig","sequence":"additional","affiliation":[]},{"given":"Muesluem","family":"Atas","sequence":"additional","affiliation":[]},{"given":"Thi Ngoc Trang","family":"Tran","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Jeran","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Stettinger","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,4]]},"reference":[{"key":"3_CR1","first-page":"931","volume":"10","author":"T Abeel","year":"2009","unstructured":"Abeel, T., de Peer, Y., Saeys, Y.: Java-ML: a machine learning library. J. Mach. Learn. Res. 10, 931\u2013934 (2009)","journal-title":"J. Mach. Learn. Res."},{"issue":"2","key":"3_CR2","doi-asserted-by":"crossref","first-page":"147","DOI":"10.3233\/AIC-2011-0493","volume":"24","author":"M Balduccini","year":"2011","unstructured":"Balduccini, M.: Learning and using domain-specific heuristics in ASP solvers. AI Commun. 24(2), 147\u2013164 (2011)","journal-title":"AI Commun."},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/978-3-642-38977-1_11","volume-title":"Safe and Secure Software Reuse","author":"D Benavides","year":"2013","unstructured":"Benavides, D., Felfernig, A., Galindo, J.A., Reinfrank, F.: Automated analysis in feature modelling and product configuration. In: Favaro, J., Morisio, M. (eds.) ICSR 2013. LNCS, vol. 7925, pp. 160\u2013175. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-38977-1_11"},{"key":"3_CR4","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1016\/j.is.2016.09.005","volume":"64","author":"C Ciccio Di","year":"2017","unstructured":"Di Ciccio, C., Maggi, F.M., Montali, M., Mendling, J.: Resolving inconsistencies and redundancies in declarative process models. Inf. Sys. 64, 425\u2013446 (2017)","journal-title":"Inf. Sys."},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Epstein, S.L., Wallace, R.J.: Finding crucial subproblems to focus global search. In: 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), pp. 151\u2013162 (2006)","DOI":"10.1109\/ICTAI.2006.60"},{"issue":"3","key":"3_CR6","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1609\/aimag.v32i3.2369","volume":"32","author":"A Falkner","year":"2011","unstructured":"Falkner, A., Felfernig, A., Haag, A.: Recommendation technologies for configurable products. AI Mag. 32(3), 99\u2013108 (2011)","journal-title":"AI Mag."},{"key":"3_CR7","volume-title":"Knowledge-Based Configuration: From Research to Business Cases","author":"A Felfernig","year":"2014","unstructured":"Felfernig, A., Hotz, L., Bagley, C., Tiihonen, J.: Knowledge-Based Configuration: From Research to Business Cases, 1st edn. Morgan Kaufmann Publishers Inc., San Francisco (2014)","edition":"1"},{"issue":"1","key":"3_CR8","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1017\/S0890060411000011","volume":"26","author":"A Felfernig","year":"2012","unstructured":"Felfernig, A., Schubert, M., Zehentner, C.: An efficient diagnosis algorithm for inconsistent constraint sets. Artif. Intell. Eng. Des. Anal. Manufact. (AIEDAM) 26(1), 53\u201362 (2012)","journal-title":"Artif. Intell. Eng. Des. Anal. Manufact. (AIEDAM)"},{"key":"3_CR9","unstructured":"Jannach, D.: Toward automatically learned search heuristics for CSP-encoded configuration problems - results from an initial experimental analysis. In: Proceedings of the 15th International Configuration Workshop, Vienna, Austria, pp. 9\u201313, 29\u201330 August 2013"},{"key":"3_CR10","first-page":"563","volume-title":"Encyclopedia of Machine Learning","author":"X Jin","year":"2010","unstructured":"Jin, X., Han, J.: K-means clustering. In: Sammut, C., Webb, G.I. (eds.) Encyclopedia of Machine Learning, pp. 563\u2013564. Springer, Boston (2010)"},{"key":"3_CR11","unstructured":"Jussien, N., Rochart, G., Lorca, X.: Choco: an open source Java constraint programming library. In: CPAIOR 2008 Workshop on Open-Source Software for Integer and Contraint Programming (OSSICP 2008), Paris, France, pp. 1\u201310 (2008)"},{"issue":"1\u20132","key":"3_CR12","first-page":"91","volume":"60","author":"X Li","year":"2010","unstructured":"Li, X., Epstein, S.L.: Learning cluster-based structure to solve constraint satisfaction problems. Ann. Math. AI 60(1\u20132), 91\u2013117 (2010)","journal-title":"Ann. Math. AI"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Liu, Y., Jiang, Y., Qian, H.: Topology-based variable ordering strategy for solving disjunctive temporal problems. In: 15th International Symposium on Temporal Representation and Reasoning, pp. 129\u2013136. IEEE (2008)","DOI":"10.1109\/TIME.2008.23"},{"issue":"5","key":"3_CR14","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1109\/41.538609","volume":"43","author":"KF Man","year":"1996","unstructured":"Man, K.F., Tang, K.S., Kwong, S.: Genetic algorithms: concepts and applications. IEEE Trans. Ind. Electron. 43(5), 519\u2013534 (1996)","journal-title":"IEEE Trans. Ind. Electron."},{"key":"3_CR15","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/j.ijar.2017.01.012","volume":"83","author":"E Merhej","year":"2017","unstructured":"Merhej, E., Schockaert, S., De Cock, M.: Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study. Int. J. Approximate Reasoning 83, 243\u2013264 (2017)","journal-title":"Int. J. Approximate Reasoning"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"O\u2019Sullivan, B., Ferguson, A., Freuder, E.C.: Boosting constraint satisfaction using decision trees. In: 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), pp. 646\u2013651 (2004)","DOI":"10.1109\/ICTAI.2004.38"},{"key":"3_CR17","unstructured":"Prud\u2019homme, C., Fages, J.G., Lorca, X.: Choco Solver Documentation (2017)"},{"issue":"1","key":"3_CR18","first-page":"1","volume":"86","author":"N Sadeh","year":"1996","unstructured":"Sadeh, N., Fox, M.S.: Variable and value ordering heuristics for the job shop scheduling constraint satisfaction problem. AI J. 86(1), 1\u201341 (1996)","journal-title":"AI J."},{"key":"3_CR19","volume-title":"Foundations of Constraint Satisfaction","author":"E Tsang","year":"1993","unstructured":"Tsang, E.: Foundations of Constraint Satisfaction. Academic Press, London (1993)"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Walter, R., Felfernig, A., K\u00fcchlin, W.: Constraint-based and SAT-based diagnosis of automotive configuration problems. J. Intell. Inf. Syst. (JIIS), 1\u201332 (2016)","DOI":"10.1007\/s10844-016-0422-7"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence: From Theory to Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-60042-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,9]],"date-time":"2020-10-09T11:25:48Z","timestamp":1602242748000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-60042-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319600413","9783319600420"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-60042-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}