Effective partitioning of input domains for ALM algorithm | IEEE Conference Publication | IEEE Xplore