Multi-Metric SMT-Based Evaluation of Worst-Case-Error for Approximate Circuits | IEEE Conference Publication | IEEE Xplore