Efficiently Exploiting Dependencies in Local Search for SAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Duc Nghia Pham' in GoogleThis author has not been identified. Look up 'John Thornton' in GoogleThis author has not been identified. Look up 'Abdul Sattar' in Google

runs on WebDSL