Combining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to Satisfiability

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]

Abstract

Abstract is missing.