Indiana University Bloomington

School of Informatics and Computing

Technical Report TR167:
On the Probabilistic Performance of Algorithms for the Satisfiability Problem

J. Franco
(Mar 1985)
[Information Processing Letters 23, (1986), 103--106]
Abstract:
The abstact is not available. Please see the full paper.

Available as: