Using Stochastic Spiking Neural Networks on SpiNNaker to Solve Constraint Satisfaction Problems
The status of the P versus NP problem