Building Structure into Local Search for SAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Duc Nghia Pham, John Thornton, Abdul Sattar. Building Structure into Local Search for SAT. In Manuela M. Veloso, editor, IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007. pages 2359-2364, 2007. [doi]

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