A Note on Approximating Inclusion-Exclusion for <i>k</i>-CNF Formulas.

Akihiro Matsuura A Note on Approximating Inclusion-Exclusion for <i>k</i>-CNF Formulas. 100-102 http://search.ieice.org/bin/summary.php?id=e88-d_1_100&category=D&year=2005&lang=E&abst= 2005 88-D IEICE Transactions 1 db/journals/ieicet/ieicet88d.html#Matsuura05