Gábor Kusper, Csaba Biró. Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle. In Laura Kovács, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie, editors, 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015. pages 189-190, IEEE, 2015. [doi]
Abstract is missing.