2 livres dans ce genre
Theory and Applications of Satisfiability Testing – SAT 2013
Matti Järvisalo
Neural networks
G. Dreyfus