×

zbMATH — the first resource for mathematics

On the satisfiability and maximum satisfiability of random 3-CNF formulas. (English) Zbl 0801.68082
Ramachandran, Vijaya (ed.), Discrete algorithms. Proceedings of the 4th annual ACM-SIAM symposium, held at Austin, TX, USA, January 25-27, 1993. Philadelphia, PA: SIAM. 322-330 (1993).

MSC:
68Q25 Analysis of algorithms and problem complexity
Software:
Maple
PDF BibTeX XML Cite