Work

Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits