Loading paper
AxMED: Formal Analysis and Automated Design of Approximate Median Filters using BDDs | Tomesphere