Keyword : inclusion-exclusion


A Note on Approximating Inclusion-Exclusion for k-CNF Formulas
Akihiro MATSUURA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/01/01
Vol. E88-D  No. 1 ; pp. 100-102
Type of Manuscript:  Special Section LETTER (Special Section on Foundations of Computer Science)
Category: 
Keyword: 
k-CNF formulassatisfying assignmentscountinginclusion-exclusion
 Summary | Full Text:PDF(78.3KB)

Solving SAT Efficiently with Promises
Kazuo IWAMA Akihiro MATSUURA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/02/01
Vol. E86-D  No. 2 ; pp. 213-218
Type of Manuscript:  Special Section PAPER (Special Issue on Selected Papers from LA Symposium)
Category: Turing Machine, Recursive Functions
Keyword: 
SATCNF formulapromisesolution-densityinclusion-exclusion
 Summary | Full Text:PDF(228.7KB)