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

Daniel S. Farenzena, Lus C. Lamb, Ricardo M. Arajo

Browse the full AAAI paper archive.