The SAT (Boolean satisfiability) competition is an annual and open competition held to race SAT solvers on challenging and interesting instances.

For a neural network to be "necessary", the solver must not have won the SAT competition if it had not been for a neural network (there must have been a genuine attempt to replace the neural network that would not have won the SAT competition).

http://www.satcompetition.org/

SAT Competitions