3 citations · 3 across the 1 of their papers we have counts for
1 paper
Eugene Goldberg, Panagiotis Manolios
We consider the problem of elimination of existential quantifiers from a Boolean CNF formula. Our approach is based on the following observation. One can get rid of dependency on a…