Title of article

Random 2-SAT and unsatisfiability

Author/Authors

Yann Verhoeven، نويسنده ,

Issue Information

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

Pages

5

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