مرکز منطقه ای اطلاع رساني علوم و فناوري

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 :

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 :