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

comments powered by Disqus