Exact Computation of Error in Approximate Circuits using SAT and Message-Passing Algorithms. - S. Ramprasath 001; Marrivada Gopala Krishna Sai Charan; Vinita Vasudevan (CoRR, 2024)