How would you define under-approximation? Add your definition here.

comments powered by Disqus