Monaldo Mastrolilli, Luca Maria Gambardella. MAX-2-SAT: How Good Is Tabu Search in the Worst-Case?. In Deborah L. McGuinness, George Ferguson, editors, Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, July 25-29, 2004, San Jose, California, USA. pages 173-178, AAAI Press / The MIT Press, 2004.
Abstract is missing.