{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T16:13:01Z","timestamp":1770480781040,"version":"3.49.0"},"reference-count":126,"publisher":"Elsevier","isbn-type":[{"value":"9780444527264","type":"print"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1016\/s1574-6526(06)80009-x","type":"book-chapter","created":{"date-parts":[[2008,2,26]],"date-time":"2008-02-26T16:51:39Z","timestamp":1204044699000},"page":"135-167","source":"Crossref","is-referenced-by-count":13,"title":["Local Search Methods"],"prefix":"10.1016","member":"78","reference":[{"key":"10.1016\/S1574-6526(06)80009-X_bib1","series-title":"5th International Conference on the Practice and Theory of Automated Timetabling (PATAT)","first-page":"413","article-title":"Applying Ahuja-Orlin's large neighbourhood for constructing examination timetabling solution","author":"Abdullah","year":"2004"},{"issue":"1\u20133","key":"10.1016\/S1574-6526(06)80009-X_bib2","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/S0166-218X(01)00338-9","article-title":"A survey of very large scale neighborhood search techniques","volume":"123","author":"Ahuja","year":"2002","journal-title":"Discrete Applied Mathematics"},{"issue":"4","key":"10.1016\/S1574-6526(06)80009-X_bib3","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1023\/A:1009621410177","article-title":"Solving vehicle routing problems using constraint programming and meta heuristics","volume":"6","author":"Backer","year":"2000","journal-title":"Journal of Heuristics"},{"issue":"2","key":"10.1016\/S1574-6526(06)80009-X_bib4","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1287\/ijoc.6.2.126","article-title":"The reactive tabu search","volume":"6","author":"Battiti","year":"1994","journal-title":"ORSA Journal on Computing"},{"key":"10.1016\/S1574-6526(06)80009-X_bib5","series-title":"Theory and Applications of Satisfiability Testing, 6th International Conference (SAT 2003)","first-page":"299","article-title":"Local consistencies in SAT","author":"Bessi\u00e8re","year":"2004"},{"key":"10.1016\/S1574-6526(06)80009-X_bib6","series-title":"Tools and Algorithms for Construction and Analysis of Systems (TACAS '99)","first-page":"193","article-title":"Symbolic model checking without BDDs","author":"Biere","year":"1999"},{"issue":"2","key":"10.1016\/S1574-6526(06)80009-X_bib7","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/256303.256306","article-title":"Semiring-based constraint solving and optimization","volume":"44","author":"Bistarelli","year":"1997","journal-title":"Journal of the ACM"},{"key":"10.1016\/S1574-6526(06)80009-X_bib8","series-title":"International Conference on Digital Signal Processing","article-title":"Intelligent search for the radio link frequency assignment problem","author":"Bouju","year":"1995"},{"key":"10.1016\/S1574-6526(06)80009-X_bib9","first-page":"77","article-title":"Learning evaluation functions to improve optimization by local search","volume":"1","author":"Boyan","year":"2000","journal-title":"Journal of Machine Learning Research"},{"key":"10.1016\/S1574-6526(06)80009-X_bib10","series-title":"CP 2000 Workshop on Analysis and Visualization of Constraint Programs and Solvers","article-title":"An overview of the CACP project: modelling and solving constraint satisfaction\/optimisation problems with minimal expert intervention","author":"Bradwell","year":"2000"},{"key":"10.1016\/S1574-6526(06)80009-X_bib11","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1023\/B:ANOR.0000030684.30824.08","article-title":"A new adaptive heuristic framework for examination timetabling problems","volume":"129","author":"Burke","year":"2004","journal-title":"Annals of Operations Research"},{"key":"10.1016\/S1574-6526(06)80009-X_bib12","series-title":"14th International Joint Conference on Artificial Intelligence","first-page":"304","article-title":"Performance test of local search algorithms using new types of random CNF formulas","author":"Cha","year":"1995"},{"key":"10.1016\/S1574-6526(06)80009-X_bib13","series-title":"Computational Symposium on Graph Coloring and its Generalizations","first-page":"112","article-title":"An application of iterated local search to the graph coloring problem","author":"Chiarandini","year":"2002"},{"issue":"5","key":"10.1016\/S1574-6526(06)80009-X_bib14","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1109\/TEVC.2003.816584","article-title":"Comparing evolutionary algorithms on binary constraint satisfaction problems","volume":"7","author":"Craenen","year":"2003","journal-title":"IEEE Transactions on Evolutionary Computation"},{"key":"10.1016\/S1574-6526(06)80009-X_bib15","isbn-type":"print","first-page":"1092","article-title":"Experimental results on the application of satisfiability algorithms to scheduling problems","volume":"volume 2","author":"Crawford","year":"1994","ISBN":"https:\/\/id.crossref.org\/isbn\/0262510782"},{"key":"10.1016\/S1574-6526(06)80009-X_bib16","article-title":"On the probabilistic approximate completeness of Walk SAT for 2-SAT","author":"Culberson","year":"2000"},{"key":"10.1016\/S1574-6526(06)80009-X_bib17","series-title":"Workshop on Studying and Sloving Really Hard Problems, 1st International Conference on Principles and Practice of Constraint Programming","first-page":"43","article-title":"A comparison of complete and incomplete algorithms in the easy and hard regions","author":"Davenport","year":"1995"},{"key":"10.1016\/S1574-6526(06)80009-X_bib18","article-title":"Extensions and evaluation of GENET in constraint satisfaction","author":"Davenport","year":"1997","journal-title":"PhD thesis, Department of Computer Science, University of Essex, Colchester, UK"},{"key":"10.1016\/S1574-6526(06)80009-X_bib19","series-title":"1st International Conference on the Practical Application of Constraint Technologies and Logic Programming (PACLP)","first-page":"345","article-title":"Solving constraint satisfaction sequencing problems by iterative repair","author":"Davenport","year":"1999"},{"key":"10.1016\/S1574-6526(06)80009-X_bib20","series-title":"12th National Conference for Artificial Intelligence","first-page":"325","article-title":"GENET: a connectionist architecture for solving constraint satisfaction problems by iterative improvement","author":"Davenport","year":"1994"},{"key":"10.1016\/S1574-6526(06)80009-X_bib21","series-title":"11th International Conference on Principles and Practice of Constraint Programming (CP 2005)","first-page":"762","article-title":"Extending systematic local search for job shop scheduling problems","author":"Dilkina","year":"2005"},{"key":"10.1016\/S1574-6526(06)80009-X_bib22","series-title":"Ant Colony Optimization","author":"Dorigo","year":"2004"},{"key":"10.1016\/S1574-6526(06)80009-X_bib23","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","article-title":"A truth maintenance system","volume":"12","author":"Doyle","year":"1979","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(06)80009-X_bib24","series-title":"15th International Joint Conference on Artificial Intelligence","first-page":"1169","article-title":"Automatic SAT-compilation of planning problems","author":"Ernst","year":"1997"},{"key":"10.1016\/S1574-6526(06)80009-X_bib25","series-title":"Optimization Software Class Libraries","first-page":"81","article-title":"Hotframe: A heuristic optimization framework","author":"Fink","year":"2002"},{"key":"10.1016\/S1574-6526(06)80009-X_bib26","series-title":"13th National Conference on Artificial Intelligence","first-page":"776","article-title":"Weighting for Godot: Learning heuristics for GSAT","author":"Frank","year":"1996"},{"key":"10.1016\/S1574-6526(06)80009-X_bib27","series-title":"15th International Joint Conference on Artificial Intelligence","first-page":"384","article-title":"Learning short-term clause weights for GSAT","author":"Frank","year":"1997"},{"issue":"1\u20133","key":"10.1016\/S1574-6526(06)80009-X_bib28","first-page":"21","article-title":"Partial constraint satisfaction","volume":"58","author":"Freuder","year":"1992","journal-title":"Artificial Intelligence, Special Volume on Constraint Based Reasoning"},{"key":"10.1016\/S1574-6526(06)80009-X_bib29","series-title":"Principles and Practice of Constraint Programming \u2014 CP 1997","first-page":"196","article-title":"Tabu search for maximal constraint satisfaction problems","author":"Galinier","year":"1997"},{"issue":"4","key":"10.1016\/S1574-6526(06)80009-X_bib30","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1023\/A:1009823419804","article-title":"Hybrid evolutionary algorithms for graph coloring","volume":"3","author":"Galinier","year":"1999","journal-title":"Journal of Combinatorial Optimization"},{"issue":"8","key":"10.1016\/S1574-6526(06)80009-X_bib31","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1002\/spe.524","article-title":"Easylocal++: an object-oriented framework for the flexible design of local-search algorithms","volume":"33","author":"Gaspero","year":"2003","journal-title":"Software Practice and Experience"},{"key":"10.1016\/S1574-6526(06)80009-X_bib32","article-title":"CSPLib: a benchmark library for constraints","author":"Gent","year":"1999","journal-title":"Technical report"},{"key":"10.1016\/S1574-6526(06)80009-X_bib33","series-title":"10th National Conference on Artificial Intelligence","first-page":"28","article-title":"Towards an understanding of hill-climbing procedures for SAT","author":"Gent","year":"1993"},{"key":"10.1016\/S1574-6526(06)80009-X_bib34","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1613\/jair.1","article-title":"Dynamic backtracking","volume":"1","author":"Ginsberg","year":"1993","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10.1016\/S1574-6526(06)80009-X_bib35","series-title":"Interfaces in Computer Science and Operations Research","article-title":"Tabu search and adaptive memory programming \u2014 advances, applications and challenges","author":"Glover","year":"1996"},{"key":"10.1016\/S1574-6526(06)80009-X_bib36","series-title":"Tabu Search","author":"Glover","year":"1997"},{"issue":"8","key":"10.1016\/S1574-6526(06)80009-X_bib37","doi-asserted-by":"crossref","first-page":"961","DOI":"10.1109\/43.402496","article-title":"Asynchronous Circuit Synthesis with Boolean Satisfiability","volume":"14","author":"Gu","year":"1995","journal-title":"IEEE Transactions of Computer-Aided Design of Integrated Circuits and Systems"},{"key":"10.1016\/S1574-6526(06)80009-X_bib38","series-title":"Satisfiability problem: Theory and Applications, volume 35 of DIMACS Series on Discrete Mathematics and Theoretical Computer Science","first-page":"19","article-title":"Algorithms for the satisfiability (SAT) problem: A survey","author":"Gu","year":"1997"},{"key":"10.1016\/S1574-6526(06)80009-X_bib39","series-title":"11th European Conference on Artificial Intelligence","first-page":"135","article-title":"A new population-based method for satisfiability problems","author":"Hao","year":"1994"},{"key":"10.1016\/S1574-6526(06)80009-X_bib40","series-title":"Advances in Artificial Intelligence: 17th Conference of the Canadian Society for Computational Studies of Intelligence","first-page":"248","article-title":"A hybrid schema for systematic local search","author":"Havens","year":"2004"},{"key":"10.1016\/S1574-6526(06)80009-X_bib41","series-title":"The OPL Optimization Programming Language","author":"Hentenryck","year":"1999"},{"key":"10.1016\/S1574-6526(06)80009-X_bib42","series-title":"Constraint-Based Local Search","author":"Hentenryck","year":"2005"},{"key":"10.1016\/S1574-6526(06)80009-X_bib43","series-title":"New ideas in optimization","first-page":"235","article-title":"Memetic algorithms using guided local search, a case study","author":"Holstein","year":"1999"},{"key":"10.1016\/S1574-6526(06)80009-X_bib44","article-title":"Stochastic Local Search \u2014 Methods, Models, Applications","author":"Hoos","year":"1998","journal-title":"PhD thesis, TU Darmstadt, FB Informatik, Darmstadt, Germany"},{"key":"10.1016\/S1574-6526(06)80009-X_bib45","series-title":"18th National Conference on Artificial Intelligence","first-page":"655","article-title":"An adaptive noise mechanism for WalkSAT","author":"Hoos","year":"2002"},{"key":"10.1016\/S1574-6526(06)80009-X_bib46","series-title":"18th National Conference on Artificial Intelligence","first-page":"661","article-title":"A mixture-model for the behaviour of SLS algorithms for SAT","author":"Hoos","year":"2002"},{"key":"10.1016\/S1574-6526(06)80009-X_bib47","series-title":"16th National Conference on Artificial Intelligence","first-page":"661","article-title":"On the run-time behaviour of stochastic local search algorithms for SAT","author":"Hoos","year":"1999"},{"key":"10.1016\/S1574-6526(06)80009-X_bib48","series-title":"16th International Joint Conference on Artificial Intelligence","first-page":"296","article-title":"SAT-encodings, search space structure, and local search performance","author":"Hoos","year":"1999"},{"issue":"4","key":"10.1016\/S1574-6526(06)80009-X_bib49","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1023\/A:1006350622830","article-title":"Local search algorithms for SAT: An empirical evaluation","volume":"24","author":"Hoos","year":"2000","journal-title":"Journal of Automated Reasoning"},{"key":"10.1016\/S1574-6526(06)80009-X_bib50","first-page":"283","article-title":"SATLIB: An Online Resource for Research on SAT","volume":"volume 63","author":"Hoos","year":"2000"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(06)80009-X_bib51","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/S0004-3702(99)00048-X","article-title":"Characterising the behaviour of stochastic local search","volume":"112","author":"Hoos","year":"1999","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(06)80009-X_bib52","series-title":"Stochastic Local Search: Foundations and Applications","author":"Hoos","year":"2004"},{"key":"10.1016\/S1574-6526(06)80009-X_bib53","series-title":"Principles and Practice of Constraint Programming \u2014 CP 2002","first-page":"233","article-title":"Scaling and probabilistic smoothing: Efficient dynamic local search for SAT","author":"Hutter","year":"2002"},{"key":"10.1016\/S1574-6526(06)80009-X_bib54","series-title":"Congress on Evolutionary Computation (CEC 2005)","first-page":"2661","article-title":"Equilibrium selection by co-evolution for bargaining problems under incomplete information about time preferences","author":"Jin","year":"2005"},{"issue":"3","key":"10.1016\/S1574-6526(06)80009-X_bib55","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1287\/opre.39.3.378","article-title":"Optimization by simulated annealing: An experimental evaluation: Part II, graph coloring and number partitioning","volume":"39","author":"Johnson","year":"1991","journal-title":"Operations Research"},{"key":"10.1016\/S1574-6526(06)80009-X_bib56","series-title":"14th International Joint Conference on Artificial Intelligence","first-page":"616","article-title":"GSAT and local consistency","author":"Kask","year":"1995"},{"key":"10.1016\/S1574-6526(06)80009-X_bib57","series-title":"13th National Conference on Artificial Intelligence","first-page":"350","article-title":"A graph-based method for improving GSAT","author":"Kask","year":"1996"},{"key":"10.1016\/S1574-6526(06)80009-X_bib58","first-page":"1194","article-title":"Pushing the envelope: Planning, propositional logic, and stochastic search","volume":"volume 2","author":"Kautz","year":"1996"},{"key":"10.1016\/S1574-6526(06)80009-X_bib59","article-title":"Parameter Adaptation in heuristic search \u2014 a population-based approach","author":"Kern","year":"2005","journal-title":"PhD thesis, Department of Computer Science, University of Essex, Colchester, UK"},{"issue":"4","key":"10.1016\/S1574-6526(06)80009-X_bib60","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1023\/A:1009808327381","article-title":"A comparison of traditional and constraint-based heuristic methods on vehicle routing problems with side constraints","volume":"5","author":"Kilby","year":"2000","journal-title":"Constraints"},{"key":"10.1016\/S1574-6526(06)80009-X_bib61","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1287\/opre.5.5.613","article-title":"The theory of search, part iii, the optimum distribution of searching effort","volume":"5","author":"Koopman","year":"1957","journal-title":"Operations Research"},{"key":"10.1016\/S1574-6526(06)80009-X_bib62","series-title":"4th International Conference on Principles and Practice of Constraint Programming","first-page":"310","article-title":"SALSA: A language for search algorithms","author":"Laburthe","year":"1998"},{"issue":"2","key":"10.1016\/S1574-6526(06)80009-X_bib63","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1023\/A:1015157615164","article-title":"A new approach for weighted constraint satisfaction","volume":"7","author":"Lau","year":"2002","journal-title":"Constraints"},{"key":"10.1016\/S1574-6526(06)80009-X_bib64","article-title":"Guilded Genetic Algorithm","author":"Lau","year":"1999","journal-title":"PhD thesis, Department of Computer Science, University of Essex, Colchester, UK"},{"issue":"4","key":"10.1016\/S1574-6526(06)80009-X_bib65","doi-asserted-by":"crossref","first-page":"567","DOI":"10.1142\/S0218213097000281","article-title":"Solving the processor configuration problem with a mutationbased genetic algorithm","volume":"6","author":"Lau","year":"1997","journal-title":"International Journal on Artificial Intelligence Tools (IJAIT)"},{"issue":"4","key":"10.1016\/S1574-6526(06)80009-X_bib66","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1023\/A:1011406425471","article-title":"Guided genetic algorithm and its application to radio link frequency assignment problems","volume":"6","author":"Lau","year":"2001","journal-title":"Constraints"},{"key":"10.1016\/S1574-6526(06)80009-X_bib67","series-title":"17th International Conference on Tools with Artificial Intelligence","first-page":"338","article-title":"Extending GENET for non-binary CSPs","author":"Lee","year":"1995"},{"key":"10.1016\/S1574-6526(06)80009-X_bib68","series-title":"2nd International Conference on Principles and Practice of Constraint Programming","first-page":"338","article-title":"Towards a more efficient stochastic constraint solver","author":"Lee","year":"1996"},{"key":"10.1016\/S1574-6526(06)80009-X_bib69","series-title":"8th International Conference on Theory and Applications of Satisfiability Testing (SAT 2005)","first-page":"158","article-title":"Diversification and determinism in local search for satisfiability","author":"Li","year":"2005"},{"key":"10.1016\/S1574-6526(06)80009-X_bib70","article-title":"FGP: A genetic programming based tool for financial forecasting","author":"Li","year":"2001","journal-title":"PhD thesis, Department of Computer Science, University of Essex, Colchester, UK"},{"key":"10.1016\/S1574-6526(06)80009-X_bib71","series-title":"Linear and nonlinear programming","year":"1984"},{"key":"10.1016\/S1574-6526(06)80009-X_bib72","series-title":"14th National Conference on Artificial Intelligence","first-page":"281","article-title":"TWSAT: A new local search algorithm for SAT \u2014 performance and analysis","author":"Mazure","year":"1997"},{"key":"10.1016\/S1574-6526(06)80009-X_bib73","series-title":"14th National Conference on Artificial Intelligence","first-page":"321","article-title":"Evidence for invariants in local search","author":"McAllester","year":"1997"},{"key":"10.1016\/S1574-6526(06)80009-X_bib74","article-title":"Extensions to guided local search","author":"Mills","year":"2002","journal-title":"PhD thesis, Department of Computer Science, University of Essex Colchester, UK"},{"issue":"1&2","key":"10.1016\/S1574-6526(06)80009-X_bib75","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF00143877","article-title":"Automatically configuring constraint satisfaction programs, a case study","volume":"1","author":"Minton","year":"1996","journal-title":"Constraints"},{"key":"10.1016\/S1574-6526(06)80009-X_bib76","series-title":"8th National Conference on Artificial Intelligence","first-page":"17","article-title":"Solving large-scale constraint satisfaction and scheduling problems using a heuristic repair method","author":"Minton","year":"1990"},{"issue":"1\u20133","key":"10.1016\/S1574-6526(06)80009-X_bib77","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0004-3702(92)90007-K","article-title":"Minimizing conflicts: A heuristic repair method for constraint satisfaction and scheduling problems","volume":"58","author":"Minton","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(06)80009-X_bib78","series-title":"National Conference on Artificial Intelligence","first-page":"40","article-title":"The breakout method for escaping from local minima","author":"Morris","year":"1993"},{"key":"10.1016\/S1574-6526(06)80009-X_bib79","article-title":"Efficient Cluster Compensation for Lin-Kernighan Heuristics","author":"Neto","year":"1999","journal-title":"PhD thesis, University of Toronto, Department of Computer Science, Toronto, canada"},{"key":"10.1016\/S1574-6526(06)80009-X_bib80","series-title":"32nd Annual IEEE Symposium on Foundations of Computer Science","first-page":"163","article-title":"On selecting a satisfying truth assignment","author":"Papadimitriou","year":"1991"},{"key":"10.1016\/S1574-6526(06)80009-X_bib81","series-title":"Applications of Evolutionary Computing","first-page":"122","article-title":"An experimental investigation of iterated local search for coloring graphs","author":"Paquete","year":"2002"},{"key":"10.1016\/S1574-6526(06)80009-X_bib82","series-title":"13th International Joint Conference on Artificial Intelligence","first-page":"967","article-title":"Genetic state-space search for constrained optimization problems","author":"Paredis","year":"1993"},{"key":"10.1016\/S1574-6526(06)80009-X_bib83","series-title":"LICS 2001 Workshop on Theory and Applications of Satisfiability Testing (SAT 2001)","article-title":"Auto-walksat: A self-tuning implementation of walksat","author":"Patterson","year":"2001"},{"key":"10.1016\/S1574-6526(06)80009-X_bib84","series-title":"6th International Conference on Theory and Applications of Satisfiability Testing (SAT 2003)","first-page":"388","article-title":"Local search on SAT-encoded CSPs","author":"Prestwich","year":"2003"},{"key":"10.1016\/S1574-6526(06)80009-X_bib85","series-title":"Practical Applications of Constraint Technology and Logic Programming (PACLP '00)","first-page":"27","article-title":"Stochastic local search in constrained spaces","author":"Prestwich","year":"2000"},{"issue":"1","key":"10.1016\/S1574-6526(06)80009-X_bib86","first-page":"102","article-title":"Ng-backmarking \u2014 an algorithm for constraint satisfaction","volume":"13","author":"Richards","year":"1995","journal-title":"British Telecom Technology Journal"},{"key":"10.1016\/S1574-6526(06)80009-X_bib87","series-title":"2nd International Conference on Principles and Practice of Constraint Programming","first-page":"367","article-title":"From quasi-solutions to solution: an evolutionary algorithm to solve CSPs","author":"Riff Rojas","year":"1996"},{"key":"10.1016\/S1574-6526(06)80009-X_bib88","series-title":"14th International Joint Conference on Artificial Intelligence","first-page":"631","article-title":"Valued constraint satisfaction problems: Hard and easy problems","author":"Schiex","year":"1995"},{"key":"10.1016\/S1574-6526(06)80009-X_bib89","series-title":"17th International Joint Conference on Artificial Intelligence","first-page":"334","article-title":"The exponentiated subgradient algorithm for heuristic Boolean programming","author":"Schuurmans","year":"2001"},{"key":"10.1016\/S1574-6526(06)80009-X_bib90","series-title":"13th International Joint Conference on Artificial Intelligence","first-page":"290","article-title":"Domain-independent extensions to GSAT: Solving large structured satisfiability problems","author":"Selman","year":"1993"},{"key":"10.1016\/S1574-6526(06)80009-X_bib91","series-title":"10th National Conference on Artificial Intelligence","first-page":"440","article-title":"A new method for solving hard satisfiability problems","author":"Selman","year":"1992"},{"key":"10.1016\/S1574-6526(06)80009-X_bib92","series-title":"12th National Conference on Artificial Intelligence","first-page":"337","article-title":"Noise strategies for improving local search","author":"Selman","year":"1994"},{"issue":"1","key":"10.1016\/S1574-6526(06)80009-X_bib93","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1023\/A:1008287028851","article-title":"A discrete Lagrangian-based global-search method for solving satisfiability problems","volume":"12","author":"Shang","year":"1998","journal-title":"Journal of Global Optimization"},{"key":"10.1016\/S1574-6526(06)80009-X_bib94","series-title":"Advances in Artificial Intelligence, 16th Conference of the Canadian Society for Computational Studies of Intelligence","first-page":"129","article-title":"Iterated robust tabu search for MAX-SAT","author":"Smyth","year":"2003"},{"key":"10.1016\/S1574-6526(06)80009-X_bib95","series-title":"14th European Conference on Artificial Intelligence","first-page":"118","article-title":"Solving permutation constraint satisfaction problems with artificial ants","author":"Solnon","year":"2000"},{"issue":"4","key":"10.1016\/S1574-6526(06)80009-X_bib96","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1109\/TEVC.2002.802449","article-title":"Ants can solve constraint satisfaction problems","volume":"6","author":"Solnon","year":"2001","journal-title":"IEEE Transactions on Evolutionary Computation"},{"key":"10.1016\/S1574-6526(06)80009-X_bib97","article-title":"Simulated annealing for hard satisfiability problems","author":"Spears","year":"1993","journal-title":"Technical report, Naval Research Laboratory, Washington D.C., USA"},{"key":"10.1016\/S1574-6526(06)80009-X_bib98","series-title":"KI-97: Advances in Artificial Intelligence","first-page":"337","article-title":"Tabu search vs. random walk","author":"Steinmann","year":"1997"},{"key":"10.1016\/S1574-6526(06)80009-X_bib99","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1287\/opre.31.2.207","article-title":"The process of search planning: current approaches and continuing problems","volume":"31","author":"Stone","year":"1983","journal-title":"Operations Research"},{"issue":"4","key":"10.1016\/S1574-6526(06)80009-X_bib100","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1142\/S0218213099000257","article-title":"Improving evolutionary algorithms for efficient constraint satifaction","volume":"8","author":"Stuckey","year":"1999","journal-title":"International Journal on Artificial Intelligence Tools (IJAIT), World Scientific"},{"key":"10.1016\/S1574-6526(06)80009-X_bib101","article-title":"Local Search Algorithms for Combinatorial Problems \u2014 Analysis, Improvements, and New Applications","author":"St\u00fctzle","year":"1998","journal-title":"PhD thesis, TU Darmstadt, FB Informatik, Darmstadt, Germany"},{"key":"10.1016\/S1574-6526(06)80009-X_bib102","series-title":"19th National Conference on Artificial Intelligence","first-page":"191","article-title":"Additive versus multiplicative clause weighting for SAT","author":"Thornton","year":"2004"},{"key":"10.1016\/S1574-6526(06)80009-X_bib103","series-title":"8th International Symposium on Artificial Intelligence and Mathematics","article-title":"Warped landscapes and random acts of SAT solving","author":"Tompkins","year":"2004"},{"key":"10.1016\/S1574-6526(06)80009-X_bib104","series-title":"Foundations of constraint satisfaction","author":"Tsang","year":"1993"},{"key":"10.1016\/S1574-6526(06)80009-X_bib105","series-title":"Genetic Algorithms and Programming in Computational Finance","first-page":"161","article-title":"EDDIE for financial forecasting","author":"Tsang","year":"2002"},{"issue":"3","key":"10.1016\/S1574-6526(06)80009-X_bib106","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/S0167-6377(96)00042-9","article-title":"Fast local search and guided local search and their application to British Telecom's workforce scheduling problem","volume":"20","author":"Tsang","year":"1997","journal-title":"Operations Research Letters"},{"key":"10.1016\/S1574-6526(06)80009-X_bib107","series-title":"Neural network applications","first-page":"12","article-title":"A generic neural network approach for constraint satisfaction problems","author":"Tsang","year":"1992"},{"key":"10.1016\/S1574-6526(06)80009-X_bib108","series-title":"9th European Conference on AI","first-page":"649","article-title":"Applying genetic algorithms to constraint satisfaction problems","author":"Tsang","year":"1990"},{"key":"10.1016\/S1574-6526(06)80009-X_bib109","article-title":"Towards a practical engineering tool for rostering","author":"Tsang","year":"2006","journal-title":"Annals of Operational Research, Special Issue on Personnel Scheduling and Planning"},{"key":"10.1016\/S1574-6526(06)80009-X_bib110","series-title":"Evolutionary Computation in Combinatorial Optimization (EvoCOP 2004)","first-page":"114","article-title":"A study into ant colony optimization, evolutionary computation and constraint programming on binary constraint satisfaction problems","author":"van Hemert","year":"2004"},{"key":"10.1016\/S1574-6526(06)80009-X_bib111","series-title":"Practical Application of Constraint Technology (PACT'96)","first-page":"337","article-title":"Partial constraint satisfaction problems and guided local search","author":"Voudouris","year":"1996"},{"key":"10.1016\/S1574-6526(06)80009-X_bib112","series-title":"13th NATO symposium on Frequency Assignment, Sharing and Conservation Systems (Aerospace), Research and Technology Organization (RTO)","article-title":"Solving the radio link frequency assignment problem using guided local search","author":"Voudouris","year":"1999"},{"key":"10.1016\/S1574-6526(06)80009-X_bib113","series-title":"Handbook of metaheuristics","article-title":"Guided local search, chapter 7","author":"Voudouris","year":"2003"},{"key":"10.1016\/S1574-6526(06)80009-X_bib114","series-title":"7th International Conference on Principles and Practice of Constraint Programming","first-page":"716","article-title":"iopt: A software toolkit for heuristic search methods","author":"Voudouris","year":"2001"},{"key":"10.1016\/S1574-6526(06)80009-X_bib115","series-title":"15th International Joint Conference on Artificial Intelligence","first-page":"378","article-title":"Discrete Lagrangian-based search for solving MAX-SAT problems","author":"Wah","year":"1997"},{"key":"10.1016\/S1574-6526(06)80009-X_bib116","series-title":"Over-Constrained Systems","first-page":"207","article-title":"Heuristic methods for over-constrained constraint satisfaction problems","author":"Wallace","year":"1995"},{"key":"10.1016\/S1574-6526(06)80009-X_bib117","series-title":"14th National Conference on Artificial Intelligence","first-page":"269","article-title":"Solving linear pseudo-Boolean constraint problems with local search","author":"Walser","year":"1997"},{"key":"10.1016\/S1574-6526(06)80009-X_bib118","series-title":"Integer Optimization by Local Search: A Domain-Independent Approach","author":"Walser","year":"1999"},{"key":"10.1016\/S1574-6526(06)80009-X_bib119","series-title":"IEE 2nd International Conference on Artificial Neural Networks","first-page":"295","article-title":"Solving constraint satisfaction problems using neuralnetworks","author":"Wang","year":"1991"},{"key":"10.1016\/S1574-6526(06)80009-X_bib120","series-title":"ACM Symposium on Applied Computing (SAC)","first-page":"217","article-title":"Using a genetic algorithm to tackle the processors configuration problem","author":"Warwick","year":"1994"},{"key":"10.1016\/S1574-6526(06)80009-X_bib121","series-title":"17th National Conference on Artificial Intelligence","first-page":"310","article-title":"An efficient global-search strategy in discrete Lagrangian methods for solving hard satisfiability problems","author":"Wu","year":"2000"},{"key":"10.1016\/S1574-6526(06)80009-X_bib122","series-title":"16th National Conference on Artificial Intelligence","first-page":"673","article-title":"Trap escaping strategies in discrete Lagrangian methods for solving hard satisfiability and maximum satisfiability problems","author":"Wu","year":"1999"},{"issue":"5","key":"10.1016\/S1574-6526(06)80009-X_bib123","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1023\/A:1011306011437","article-title":"Efficient 2 and 3-flip neighborhood search algorithms for the MAX SAT: Experimental evaluation","volume":"7","author":"Yagiura","year":"2001","journal-title":"Journal of Heuristics"},{"key":"10.1016\/S1574-6526(06)80009-X_bib124","first-page":"411","article-title":"Dynamic neighbourhood size in simulated annealing","volume":"volume 1","author":"Yao","year":"1992"},{"issue":"6","key":"10.1016\/S1574-6526(06)80009-X_bib125","first-page":"208","article-title":"A novel penalty function approach to constrained optimization problems with genetic algorithms","volume":"2","author":"Yu","year":"1998","journal-title":"Journal of Advanced Computational Intelligence"},{"key":"10.1016\/S1574-6526(06)80009-X_bib126","series-title":"5th International Symposium on the Theory and Applications of Satisfiability Testing (SAT 2002)","first-page":"281","article-title":"Generating college conference basketball schedules by a SAT solver","author":"Zhang","year":"2002"}],"container-title":["Foundations of Artificial Intelligence","Handbook of Constraint Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157465260680009X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157465260680009X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T02:54:29Z","timestamp":1761620069000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S157465260680009X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9780444527264"],"references-count":126,"URL":"https:\/\/doi.org\/10.1016\/s1574-6526(06)80009-x","relation":{},"ISSN":["1574-6526"],"issn-type":[{"value":"1574-6526","type":"print"}],"subject":[],"published":{"date-parts":[[2006]]}}}