Title of article
Inclusion–exclusion for k-CNF formulas
Author/Authors
Kazuyuki Amano، نويسنده , , Kazuo Iwama، نويسنده , , Akira Maruoka، نويسنده , , Kenshi Matsuo، نويسنده , , Akihiro Matsuura، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2003
Pages
7
From page
111
To page
117
Keywords
Combinatorial problems , SAT , k-CNF formula , counting , Inclusion–exclusion
Journal title
Information Processing Letters
Serial Year
2003
Journal title
Information Processing Letters
Record number
129750
Link To Document