Libri di circuits information and communication

Theory and Applications of Satisfiability Testing – SAT 2013

Neural networks