{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:40:51Z","timestamp":1761597651348,"version":"3.40.3"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319182957"},{"type":"electronic","value":"9783319182964"}],"license":[{"start":{"date-parts":[[2015,11,3]],"date-time":"2015-11-03T00:00:00Z","timestamp":1446508800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,11,3]],"date-time":"2015-11-03T00:00:00Z","timestamp":1446508800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-18296-4_16","type":"book-chapter","created":{"date-parts":[[2015,11,2]],"date-time":"2015-11-02T12:51:56Z","timestamp":1446468716000},"page":"199-211","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Local Search Algorithms for Solving the Combinatorial Optimization and Constraint Satisfaction Problems"],"prefix":"10.1007","author":[{"given":"Y.","family":"Kilani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Alsarhan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Bsoul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. F.","family":"Otoom","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,3]]},"reference":[{"key":"16_CR1","unstructured":"http:\/\/www.cs.cmu.edu\/~venkatg\/RD-approx.html. Accessed 15 Aug 2012"},{"key":"16_CR2","unstructured":"Ve\u0159m\u0159ovsk\u00fd K (2003) Algorithms for constraint satisfaction problems. Master thesis, Faculty of Informatics, Masaryk University Brno, Czech Republic"},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1016\/S0377-2217(98)00364-6","volume":"119","author":"SC Brailsford","year":"1999","unstructured":"Brailsford SC, Pott CN, Smith BM (1999) Constraint satisfaction problems: algorithms and applications. Eur J Oper Res 119:557\u2013581","journal-title":"Eur J Oper Res"},{"key":"16_CR4","doi-asserted-by":"crossref","first-page":"645","DOI":"10.1007\/978-3-642-23786-7_49","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2011","author":"M. A. Hakim Newton","year":"2011","unstructured":"Newton MAH, Pham D, Sattar A, Maher M (2011) Kangaroo: an efficient constraint-based local search system using lazy propagation. In: Proceedings of 17th international conference on principles and practice of constraint programming"},{"key":"16_CR5","unstructured":"Letombe F, Joao Marques-Silva J (2008) Improvements to hybrid incremental SAT algorithms. In: Proceeding of the international conference on theory and applications of satisfiability testing"},{"key":"16_CR6","unstructured":"http:\/\/en.wikipedia.org\/wiki\/Local_search_(optimization). Accessed 14 Nov 2014"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Aarts EHL, Lenstra EJK (2003) Local search in combinatorial optimization. Princeton University Press, Princeton","DOI":"10.1515\/9780691187563"},{"key":"16_CR8","unstructured":"http:\/\/en.wikipedia.org\/wiki\/Optimization_problem. Accessed 08 Aug 2014"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Mancini T, Flener P, Pearson JK (2012) Combinatorial problem solving over relational databases: view synthesis through constraint-based local search. In: Proceedings of the 27th annual ACM symposium on applied computing, pp 80\u201387","DOI":"10.1145\/2245276.2245295"},{"key":"16_CR10","unstructured":"http:\/\/hsc.csu.edu.au\/sdd\/core\/cycle\/feasibility\/feasibility.html. Accessed 08 Aug 2014"},{"key":"16_CR11","unstructured":"Aardal KI, van Hoesel S, Lenstra JK, Stougie L (1997) A decade of combinatorial optimization. Technical report, Utrecht University, Information and Computing Sciences, Issue 1997\u201312"},{"issue":"1","key":"16_CR12","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A Mackworth","year":"1977","unstructured":"Mackworth A (1977) Consistency in networks of relations. J Artif Intell 8(1):99\u2013118","journal-title":"J Artif Intell"},{"key":"16_CR13","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1007\/s10732-007-9020-8","volume":"13","author":"H Fang","year":"2007","unstructured":"Fang H, Kilani Y, Lee JHM, Stuckey PJ (2007) The Island confinement method for reducing search space in local search methods. J Heuristics 13:557\u2013585","journal-title":"J Heuristics"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Michel L, Van Hentenryck P (1999) A modeling language for local search. INFORMS J Comput 11:1\u201314","DOI":"10.1287\/ijoc.11.1.1"},{"key":"16_CR15","unstructured":"Van Hentenryck P, Michel L (2009) Constraint-based local search. MIT Press, Honolulu"},{"key":"16_CR16","unstructured":"http:\/\/www.hakank.org\/oscar\/. Accessed 2 Aug 2014"},{"key":"16_CR17","unstructured":"Audemard G, Simon L (2007) GUNSAT: a greedy local search algorithm for unsatisfiability. In: Proceeding of the international joint conference on artificial intelligence"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Tompkins DA, Hoos HH (2004) UBCSAT: an implementation and experimentation environment for SLS algorithms for SAT and MAX-SAT. In: Proceeding of the 7th international conference on theory and applications of satisfiability testing, pp 37\u201346","DOI":"10.1007\/11527695_24"},{"key":"16_CR19","unstructured":"Pham D-N, Thornton J, Gretton C, Sattar A (2007) Advances in local search for satisfiability. In: Proceedings of the 20th Australian joint conference on artificial intelligence"},{"key":"16_CR20","unstructured":"Schuurmans D, Southey F, Holte R (2001) The exponentiated subgradient algorithm for Heuristic Boolean Programming. In: Proceeding of the international joint conference on artificial intelligence, pp 334\u2013341"},{"key":"16_CR21","unstructured":"Wei W, Li CM (2009) Switching between two adaptive noise mechanisms in local search for SAT"},{"key":"16_CR22","unstructured":"Li CM, Wei W (2009) Combining adaptive noise and promising decreasing variables in local search for SAT, (2009). SAT2009. http:\/\/www.cril.univ-artois.fr\/SAT09\/"},{"key":"16_CR23","unstructured":"Li XY, Stallmann MF, Brglez F (2003) QingTing: a fast SAT solver using local search and efficient unit propagation. In: Proceedings of international conference on theory and applications of satisfiability testing"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"Huttter F, Tompkins DAD, Hoos HH (2002) Scaling and probabilistic smoothing: efficient dynamic local search for SAT. In: Proceedings of the eighth international conference on principle and practice of constraint programming (CP-02). Lecture Notes in Computer Science (LNCS), vol 2470, pp 233\u2013248","DOI":"10.1007\/3-540-46135-3_16"},{"issue":"1-3","key":"16_CR25","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/s10817-005-9010-1","volume":"35","author":"John Thornton","year":"2006","unstructured":"Thornton J (2005) Clause weighting local search for SAT. J Autom Reasoning 35(1\u20133):97\u2013142. ISSN 0168-7433","journal-title":"Journal of Automated Reasoning"},{"issue":"6","key":"16_CR26","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1109\/TEVC.2004.835176","volume":"8","author":"S.-Y. Ho","year":"2004","unstructured":"Ho SY, Shu LS, Chen JH (2004) Intelligent evolutionary algorithms for large parameter optimization problems. IEEE Trans Evol Comput 8(6):522\u2013541. http:\/\/ieeexplore.ieee.org\/stamp\/stamp.jsp?arnumber=01369245","journal-title":"IEEE Transactions on Evolutionary Computation"},{"key":"16_CR27","unstructured":"Yang P (2007) A hybrid evolutionary algorithm by combination of PSO and GA for unconstrained and constrained optimization problems. In: IEEE international conference on control and automation"},{"key":"16_CR28","unstructured":"Russell S, Norvig P (2009) Artificial intelligence: a modern approach, 3rd edn. Prentice Hall, Englewood Cliffs"},{"key":"16_CR29","unstructured":"https:\/\/bitbucket.org\/oscarlib\/oscar\/wiki\/CBLS. Accessed 29 July 2014"},{"key":"16_CR30","unstructured":"Van Hentenryck P (2009) Constraint-based local search. MIT Press, Cambridge"},{"key":"16_CR31","unstructured":"https:\/\/bitbucket.org\/oscarlib\/oscar\/wiki\/ExtendCBLS. Access 4 Aug 2014"},{"key":"16_CR32","unstructured":"http:\/\/jripples.sourceforge.net\/jripples\/manual\/concepts\/propagationrules.html. Accessed 4 Aug 2014"},{"issue":"1\/2","key":"16_CR33","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1023\/A:1009818401322","volume":"5","author":"Laurent Michel","year":"2000","unstructured":"Micheal L, Van Hentenryck P (2000) Localizer. J Constraints 5(1\u20132):43\u201384","journal-title":"Constraints"},{"key":"16_CR34","unstructured":"http:\/\/dynadec.com\/technology\/. Accessed 13 Dec 2013"},{"key":"16_CR35","unstructured":"http:\/\/dynadec.com\/technology\/constraint-based-local-search\/. Accessed 12 Aug 2014"}],"container-title":["Advances in Intelligent Systems and Computing","Soft Computing Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-18296-4_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T13:44:48Z","timestamp":1676987088000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-18296-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11,3]]},"ISBN":["9783319182957","9783319182964"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-18296-4_16","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2015,11,3]]},"assertion":[{"value":"3 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}