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