{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T11:39:47Z","timestamp":1774611587086,"version":"3.50.1"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030053475","type":"print"},{"value":"9783030053482","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,12,31]],"date-time":"2018-12-31T00:00:00Z","timestamp":1546214400000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-05348-2_27","type":"book-chapter","created":{"date-parts":[[2018,12,31]],"date-time":"2018-12-31T02:24:51Z","timestamp":1546223091000},"page":"309-325","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Hyper-Reactive Tabu Search for MaxSAT"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Ans\u00f3tegui","sequence":"first","affiliation":[]},{"given":"Britta","family":"Heymann","sequence":"additional","affiliation":[]},{"given":"Josep","family":"Pon","sequence":"additional","affiliation":[]},{"given":"Meinolf","family":"Sellmann","sequence":"additional","affiliation":[]},{"given":"Kevin","family":"Tierney","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,12,31]]},"reference":[{"key":"27_CR1","unstructured":"Ans\u00f3tegui, C., Bacchus, F., J\u00e4rvisalo, M., Martins, R.: MaxSAT Evaluation (2017). http:\/\/mse17.cs.helsinki.fi"},{"key":"27_CR2","unstructured":"Ansotegui, C., Malitsky, Y., Samulowitz, H., Sellmann, M., Tierney, K.: Model-based geneticalgorithms for algorithm configuration. In: IJCAI, pp. 733\u2013739 (2015)"},{"key":"27_CR3","doi-asserted-by":"crossref","unstructured":"Ansotegui, C., Sellmann, M., Tierney, K.: A gender-based genetic algorithm for the automatic configuration of algorithms. In: CP, pp. 142\u2013157 (2009)","DOI":"10.1007\/978-3-642-04244-7_14"},{"key":"27_CR4","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/j.artint.2015.12.006","volume":"235","author":"C Ans\u00f3tegui","year":"2016","unstructured":"Ans\u00f3tegui, C., Gabas, J., Malitsky, Y., Sellmann, M.: Maxsat by improved instance-specific algorithm configuration. Artif. Intell. 235, 26\u201339 (2016)","journal-title":"Artif. Intell."},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Ans\u00f3tegui, C., Pon, J., Sellmann, M., Tierney, K.: Reactive dialectic search portfolios for maxsat. In: AAAI Conference on Artificial Intelligence (2017)","DOI":"10.1609\/aaai.v31i1.10660"},{"key":"27_CR6","unstructured":"Argelich, J., Li, C., Many\u00e0, F., Planes, J.: MaxSAT Evaluation (2016). www.maxsat.udl.cat"},{"issue":"2","key":"27_CR7","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1287\/ijoc.6.2.126","volume":"6","author":"R Battiti","year":"1994","unstructured":"Battiti, R., Tecchiolli, G.: The reactive tabu search. ORSA J. Comput. 6(2), 126\u2013140 (1994)","journal-title":"ORSA J. Comput."},{"key":"27_CR8","volume-title":"Reactive Search and Intelligent Optimization","author":"R Battiti","year":"2008","unstructured":"Battiti, R., Brunato, M., Mascia, F.: Reactive Search and Intelligent Optimization, vol. 45. Springer Science & Business Media, Berlin (2008)"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"Burke, E., Kendall, G., Newall, J., Hart, E., Ross, P., Schulenburg, S.: Hyper-heuristics: an emerging direction in modern search technology. Handbook of metaheuristics, pp. 457\u2013474 (2003)","DOI":"10.1007\/0-306-48056-5_16"},{"issue":"12","key":"27_CR10","doi-asserted-by":"publisher","first-page":"1695","DOI":"10.1057\/jors.2013.71","volume":"64","author":"EK Burke","year":"2013","unstructured":"Burke, E.K., Gendreau, M., Hyde, M., Kendall, G., Ochoa, G., \u00d6zcan, E., Qu, R.: Hyper-heuristics: a survey of the state of the art. J. Oper. Res. Soc. 64(12), 1695\u20131724 (2013)","journal-title":"J. Oper. Res. Soc."},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"Doerr, B., Doerr, C.: Optimal parameter choices through self-adjustment: Applying the 1\/5-th rule in discrete settings. In: GECCO, pp. 1335\u20131342 (2015)","DOI":"10.1145\/2739480.2754684"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Doerr, B., Doerr, C.: Optimal static and self-adjusting parameter choices for the $$(1+(\\lambda ,\\lambda ))(1+(\\lambda ,\\lambda ))$$genetic algorithm. Algorithmica (2017)","DOI":"10.1007\/s00453-017-0354-9"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"Glover, F., Laguna, M.: Tabu search. In: Handbook of Combinatorial Optimization, pp. 3261\u20133362. Springer, Berlin (2013)","DOI":"10.1007\/978-1-4419-7997-1_17"},{"key":"27_CR14","unstructured":"Glover, F., Laguna, M., Mart\u00ed, R.: Principles of tabu search. In: Gonzalez, T. (ed.) Handbook of Approximation Algorithms and Metaheuristics (2007)"},{"key":"27_CR15","unstructured":"Kadioglu, S., Malitsky, Y., Sellmann, M., Tierney, K.: ISAC-instance-specific algorithm configuration. In: Coelho, H., Studer, R., Wooldridge, M. (eds.) ECAI. FAIA, vol. 215, pp. 751\u2013756 (2010)"},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"Kadioglu, S., Sellmann, M.: Dialectic search. CP, pp. 486\u2013500 (2009)","DOI":"10.1007\/978-3-642-04244-7_39"},{"key":"27_CR17","unstructured":"KhudaBukhsh, A., Xu, L., Hoos, H., Leyton-Brown, K.: SATenstein: automatically building local search sat solvers from components. In: IJCAI, pp. 517\u2013524 (2009)"},{"key":"27_CR18","doi-asserted-by":"crossref","unstructured":"Leventhal, D., Sellmann, M.: The accuracy of search heuristics: an empirical study on knapsack problems. In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, pp. 142\u2013157 (2008)","DOI":"10.1007\/978-3-540-68155-7_13"},{"key":"27_CR19","unstructured":"Leyton-Brown, K., Nudelman, E., Andrew, G., McFadden, J., Shoham, Y.: A portfolio approach to algorithm selection. In: IJCAI, pp. 1542\u20131543 (2003)"},{"key":"27_CR20","unstructured":"Malitsky, Y., Sabharwal, A., Samulowitz, H., Sellmann, M.: Algorithm portfolios based on cost-sensitive hierarchical clustering. In: IJCAI, pp. 608\u2013614 (2013)"},{"key":"27_CR21","doi-asserted-by":"crossref","unstructured":"M\u0131s\u0131r, M., Verbeeck, K., De Causmaecker, P., Berghe, G.V.: An intelligent hyper-heuristic framework for chesc 2011. In: Learning and Intelligent Optimization, pp. 461\u2013466. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-34413-8_45"},{"key":"27_CR22","doi-asserted-by":"crossref","unstructured":"\u00d6zcan, E., M\u0131s\u0131r, M., Ochoa, G., Burke, E.K.: A reinforcement learning: great-deluge hyper-heuristic. In: Modeling, Analysis, and Applications in Metaheuristic Computing: Advancements and Trends: Advancements and Trends, vol. 34 (2012)","DOI":"10.4018\/978-1-4666-0270-0.ch003"},{"key":"27_CR23","doi-asserted-by":"crossref","unstructured":"Safarpour, S., Mangassarian, H., Veneris, A., Liffiton, M., Sakallah, K.: Improved design debugging using maximum satisfiability. In: Formal Methods in Computer Aided Design, pp. 13\u201319. IEEE (2007)","DOI":"10.1109\/FMCAD.2007.4401977"},{"key":"27_CR24","unstructured":"Sugawara, T.: Maxroster: solver description. In: MaxSAT Evaluation 2017, p. 12 (2017)"},{"issue":"2","key":"27_CR25","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1023\/A:1011203002719","volume":"20","author":"M Vasquez","year":"2001","unstructured":"Vasquez, M., Hao, J.: A \u201clogic-constrained\u201d knapsack formulation and a tabu algorithm for the daily photograph scheduling of an earth observation satellite. Comput. Optim. Appl. 20(2), 137\u2013157 (2001)","journal-title":"Comput. Optim. Appl."},{"issue":"6","key":"27_CR26","doi-asserted-by":"publisher","first-page":"814","DOI":"10.1109\/TCAD.2003.811450","volume":"22","author":"H Xu","year":"2003","unstructured":"Xu, H., Rutenbar, R., Sakallah, K.: sub-SAT: a formulation for relaxed boolean satisfiability with applications in routing. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 22(6), 814\u2013820 (2003)","journal-title":"IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."},{"key":"27_CR27","doi-asserted-by":"crossref","unstructured":"Xu, L., Hoos, H., Leyton-Brown, K.: Hydra: automatically configuring algorithms for portfolio-based selection. In: AAAI, pp. 210\u2013216 (2010)","DOI":"10.1609\/aaai.v24i1.7565"}],"container-title":["Lecture Notes in Computer Science","Learning and Intelligent Optimization"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-05348-2_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T15:55:28Z","timestamp":1710345328000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-05348-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,31]]},"ISBN":["9783030053475","9783030053482"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-05348-2_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,12,31]]},"assertion":[{"value":"31 December 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LION 12","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Learning and Intelligent Optimization","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kalamata","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lion2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.caopt.com\/LION12\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}