Analytic and algorithmic solution of random satisfiability problems.

Analytic and algorithmic solution of random satisfiability problems.