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

Title of article :

Random 2-SAT and unsatisfiability

Author/Authors :

Yann Verhoeven، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 1999

Pages :

From page :

119

To page :

123

Keywords :

Random 2-SAT , Galton–Watson process , Satisfiability threshold , Algorithms

Journal title :

Information Processing Letters

Serial Year :

1999

Journal title :

Information Processing Letters

Record number :

129153

Link To Document :