High dimension CNF to DNF conversion using grid computing | IEEE Conference Publication | IEEE Xplore