Technical Report TR164:
Probabilistic Analysis of the Unit Clause to Maximum Occurring Literal Selection Heuristics for the 3-Satisfiability Problem
J. Franco and Ming-Te Chao
(Dec 1984)
- Abstract:
-
The abstact is not available. Please see the full paper.
- Available as:
-
