A constraint-based architecture for local search
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Yet Another Local Search Method for Constraint Solving
SAGA '01 Proceedings of the International Symposium on Stochastic Algorithms: Foundations and Applications
Meta-heuristics: The State of the Art
ECAI '00 Proceedings of the Workshop on Local Search for Planning and Scheduling-Revised Papers
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
Control Abstractions for Local Search
Constraints
Maintaining Longest Paths Incrementally
Constraints
Contraint-Based Combinators for Local Search
Constraints
A unified framework for partial and hybrid search methods in constraint programming
Computers and Operations Research
Combining relational algebra, SQL, constraint modelling, and local search
Theory and Practice of Logic Programming
The design of ESSENCE: a constraint language for specifying combinatorial problems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A stochastic non-CNF SAT solver
PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
SLS'07 Proceedings of the 2007 international conference on Engineering stochastic local search algorithms: designing, implementing and analyzing effective heuristics
Kangaroo: an efficient constraint-based local search system using lazy propagation
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
SAT as an effective solving technology for constraint problems
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Set variables and local search
CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
A heuristic to solve the synchronized log-truck scheduling problem
Computers and Operations Research
| Hi-index | 0.00 |
Local search is a traditional technique to solve combinatorialsearch problems which has raised much interest in recent years.The design and implementation of local search algorithms is notan easy task in general and may require considerable experimentationand programming effort. However, contrary to global search, littlesupport is available to assist the design and implementationof local search algorithms. This paper describes the design andimplementation of Localizer, a modeling language forimplementing local search algorithms. Localizer makesit possible to express local search algorithms in a notationclose to their informal descriptions in scientific papers. Experimentalresults on Boolean satisfiability, graph coloring, graph partitioning,and job-shop scheduling show the feasibility of the approach.