|
|
||
|
|
|
MR861375
(88b:68079)
68Q25
(03D15)
Chao, Ming-Te; Franco, John Probabilistic analysis of two heuristics for the $3$-satisfiability problem. SIAM J. Comput. 15 (1986), no. 4, 1106--1118. |
|
|
| For users without a MathSciNet license , Relay Station allows linking from MR numbers in online mathematical literature directly to electronic journals and original articles. Subscribers receive the added value of full MathSciNet reviews. | ||||
|
|
||||
AMS Home Page
|