Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
The tradeoff between the speed and quality of the solutions obtained by various construction and local search algorithms for the elementary bin packing problem (BPP) are analyzed to obtain useful information for designing algorithms for real-world problems that can be modeled as BPPs. On the basis of intensive computational experiments, we observe that the framework of a solution (i.e., a part of a solution consisting of large items or items with tight constraints) should be constructed in the early stages of a local search. New local search algorithms are proposed as empirical support for the observation.
Barry K. Rosen
SWAT 1972
Benjamin N. Grosof
AAAI-SS 1993
Yale Song, Zhen Wen, et al.
IJCAI 2013
Albert Atserias, Anuj Dawar, et al.
Journal of the ACM