Research

Technical Report Results

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: