Geometric computation of value set boundaries | IEEE Conference Publication | IEEE Xplore