![]() |
| 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] |