Farenzena D, Lamb L, Araújo R. Combining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to Satisfiability. AAAI [Internet]. 2010 Jul. 5 [cited 2026 May 21];24(1):1929-30. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/7776