Modern heuristic techniques for combinatorial problems
Using global constraints for local search
DIMACS workshop on on Constraint programming and large scale discrete optimization
Local Search in Combinatorial Optimization
Local Search in Combinatorial Optimization
A constraint-based architecture for local search
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Constraint-directed search: a case study of job-shop scheduling
Constraint-directed search: a case study of job-shop scheduling
Constraint-Based Local Search
Generic Incremental Algorithms for Local Search
Constraints
The island confinement method for reducing search space in local search methods
Journal of Heuristics
Synthesis of constraint-based local search algorithms from high-level models
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Integer optimization by local search: a domain-independent approach
Integer optimization by local search: a domain-independent approach
Generating propagators for finite set constraints
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Inferring variable conflicts for local search
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
Scheduling social golfers locally
CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Solution neighbourhoods for constraint-directed local search
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Proceedings of the 27th Annual ACM Symposium on Applied Computing
On the violation of circuits in decomposable negation normal form
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
Hi-index | 0.00 |
In constraint-based local search the solutions are described declaratively by a conjunction of (often high-level) constraints. In this article we show that this opens up new ideas for constraint-directed search. For a constraint we introduce three neighbourhoods, where the penalty for that constraint alone is decreasing, increasing, or unchanged. We give specialised algorithms for common constraints that efficiently implement these neighbourhoods. Further, we give a general algorithm that implements these neighbourhoods from specifications of constraints in monadic existential second-order logic. Finally, we show how common constraint-directed local search algorithms are often easier to express using these neighbourhoods.