Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle.

Gbor Kusper, Csaba Bir

Browse the full SYNASC paper archive.