Test Pattern Generation for Approximate Circuits Based on Boolean Satisfiability | IEEE Conference Publication | IEEE Xplore