Mick gets some (the odds are on his side) (satisfiability)

Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS

Volumn 1992-October, Issue , 1992, Pages 620-627

  Chvatal, V ^a   Reed, B ^b  

^a RUTGERS UNIVERSITY   (United States)

^b UNIVERSITY OF BONN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; CLUSTERING ALGORITHMS;

BOOLEAN FORMULAE; CONJUNCTIVE NORMAL FORMS; LINEAR-TIME ALGORITHMS; SATISFIABILITY;

PROBABILITY;

EID: 85022201500     PISSN: 02725428     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SFCS.1992.267789     Document Type: Conference Paper

References (11)

1. B. Aspvall, M.F. Plass, and R.E. Tarjan, "A linear-time algorithm for testing the truth of certain quantified Boolean formulas," Inform. Process. Let., Vol. 8, pp. 121-123, 1979.
2. M.-T. Chao and J. Franco, "Probabilistic analysis of a generalization of the unit-clause literal section heuristic for the k-satisfiability problem," Inform. Set., Vol. 51, pp. 289-314, 1990.
3. V. Chvatal and E. Szemerdi, "Many hard examples for resolution," J. Assoc. Comput. Mach., Vol. 35, pp. 759-768, 1988.
4. S.A. Cook, "The complexity of theorem proving procedures," Proc. 3rd Ann. ACM Symp. Theory Comput, pp. 151-158, 1971.
5. S. Even, A. Itai, and A. Shamir, "On the complexity of timetable and multicommodity flow problems," SIAM J. Comput., Vol. 5, pp. 691-703, 1976.
6. J. Franco and M. Paull, "Probabilistic analysis of the Davis-Putnam procedure for solving the satisfiability problem," Discrete Appl. Math., Vol. 5, pp. 77-87, 1983.
7. A. Goerdt, "A threshold for unsatisfiability," manuscript, 1991.
8. J.-C. Simon, J. Carlier, O. Dubois, and O. Moulines, "Etude statistisque de l'existence de solutions de problemes SAT, application aux systemes-experts," C.R. Acad. Set. Paris. Sir. I Math., Vol. 302, pp. 283-286, 1986.
9. R. Stones, 12 x 5, PS402, London, 1964.
10. R. Stones, Out of our heads, PS429, London, 1965.
11. W. F. de la Vega, "On random 2-SAT," manuscript, 1992.