Lars Engebretsen. Using easy optimization problems to solve hard ones. In Benedikt Löwe, Boris Piwinger, Thoralf Räsch, editors, Classical and New Paradigms of Computation and their Complexity Hierarchies, Papers of the conference "Foundations of the Formal Sciences III", Wien, Asutria, September 21-24, 2001. Volume 23 of Trends in Logic, pages 77-93, Springer, 2001. [doi]
Abstract is missing.