D. Farenzena, L. Lamb, and R. Araújo, “Combining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to Satisfiability”, AAAI, vol. 24, no. 1, pp. 1929–1930, Jul. 2010.