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:
-
