Skip to Main Content
Traditional approaches to apply tabu search method typically require formulating an algorithmic structure for each individual problem. Based on algebraic specifications, the paper presents a unified and mechanical framework for implementing tabu search algorithms for combinatorial optimization problems. We define a generalized specification using high-order functions to describe search strategies, from which efficient algorithms can be generated for concrete problems by data type refinement and functional refinement. We also extend the framework for multi-objective problems by enriching specification behaviors. Our approach achieves a high level of abstraction and mechanization without losing performance.
Progress in Informatics and Computing (PIC), 2010 IEEE International Conference on (Volume:2 )
Date of Conference: 10-12 Dec. 2010