Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle | IEEE Conference Publication | IEEE Xplore