Advances in Local Search for Satisfiability - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar. Advances in Local Search for Satisfiability. In Mehmet A. Orgun, John Thornton, editors, AI 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings. Volume 4830 of Lecture Notes in Computer Science, pages 213-222, Springer, 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 'Charles Gretton' in GoogleThis author has not been identified. Look up 'Abdul Sattar' in Google

runs on WebDSL