Efficiently Exploiting Dependencies in Local Search for SAT

Duc Nghia Pham, John Thornton, Abdul Sattar. Efficiently Exploiting Dependencies in Local Search for SAT. In Dieter Fox, Carla P. Gomes, editors, Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008. pages 1476-1478, AAAI Press, 2008.

Abstract

Abstract is missing.