Combining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to Satisfiability - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniel S. Farenzena, Luís C. Lamb, Ricardo M. Araujo. Combining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to Satisfiability. In Maria Fox, David Poole, editors, Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010. pages 1929-1930, AAAI Press, 2010. [doi]

This author has not been identified. Look up 'Daniel S. Farenzena' in GoogleThis author has not been identified. Look up 'Luís C. Lamb' in GoogleThis author has not been identified. Look up 'Ricardo M. Araujo' in Google

runs on WebDSL