Quantified Satisfiability-based Simultaneous Selection of Multiple Local Approximate Changes

Published in IEEE International Symposium on Circuits and Systems (ISCAS), 2022