Applications of Boolean Satisfiability to Verification and Testing of Switch-Level Circuits | Publicación