![]() | ![]() |
1990 | ||
---|---|---|
2 | EE | Ming-Te Chao, John V. Franco: Probabilistic analysis of a generalization of the unit-clause literal selection heuristics for the k satisfiability problem. Inf. Sci. 51(3): 289-314 (1990) |
1986 | ||
1 | Ming-Te Chao, John V. Franco: Probabilistic Analysis of Two Heuristics for the 3-Satisfiability Problem. SIAM J. Comput. 15(4): 1106-1118 (1986) |
1 | John V. Franco | [1] [2] |