Quantified Satisfiability-based Simultaneous Selection of Multiple Local Approximate Changes under Maximum Error Bound.

Chenfei Lou, Weihua Xiao, Weikang Qian

Browse the full ISCAS paper archive.