Publications

Found 3 results
Author Title Type [ Year(Asc)]
Filters: Author is Paul Beame  [Clear All Filters]
2002
Beame, P., Karp R. M., Pitassi T., & Saks M. (2002).  The Efficiency of Resolution and Davis-Putnamn Procedures. 31(4), 1048-1075.
1998
Beame, P., Karp R. M., Pitassi T., & Saks M. (1998).  On the Complexity of Unsatisfiability Proofs for Random k-CNF Formulas. Proceedings of the Thirtieth Annual ACM Symposium on Theory of Computing. 561-571.
1989
Beame, P., & Luby M. (1989).  Parallel Search for Maximal Independence Given Minimal Dependence.