|
|
||
|
|
|
MR1213244
(94b:03023)
03B35
(03B05 03D15 68Q25)
Broder, Andrei Z.; Frieze, Alan M.; Upfal, Eli On the satisfiability and maximum satisfiability of random $3$-CNF formulas. Proceedings of the Fourth Annual ACM-SIAM Symposium on Discrete Algorithms (Austin, TX, 1993), 322--330, ACM, New York, 1993. |
|
|
| 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
|