Technical Report TR165:
Probabilistic Analysis of a Generalization of the Unit Clause Literal Selection Heuristic for the-Satisfiability Problem
J. Franco and Ming-Te Chao
(Jan 1985)
[to appear in Information Sciences]
- Abstract:
-
The abstact is not available. Please see the full paper.
- Available as:
-
