2 books in this genre
Theory and Applications of Satisfiability Testing – SAT 2013
Matti Järvisalo
Neural networks
G. Dreyfus
