Geometric Validation Algorithms for DMSAT-1 | IEEE Conference Publication | IEEE Xplore