Farenzena, D.; Lamb, L.; Araújo, R. Combining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to Satisfiability. AAAI 2010, 24, 1929-1930.