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

Open in new window