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.
No references recorded for this publication.
No citations of this publication recorded.