Comment by The_rationalist

It is said that SAT is very useful for automatically solving complex problem where you don't know the solution.

But deep learning neural network are also said to be used when there's no good solution known.

It's the first time I see the symmetry. When should I use a SAT vs an ANN?

Other than SAT and ANN, are there other kind or technology that automatically solve/approximate solutions?