The Efficiency of Resolution and Davis-Putnamn Procedures
| Title | The Efficiency of Resolution and Davis-Putnamn Procedures |
| Publication Type | Journal Article |
| Year of Publication | 2002 |
| Authors | Beame, P., Karp R. M., Pitassi T., & Saks M. |
| Volume | 31 |
| Issue | 4 |
| Page(s) | 1048-1075 |
| Other Numbers | 410 |
| Bibliographic Notes | SIAM Journal on Computing, Vol. 31, No. 4, pp. 1048-1075 |
| Abbreviated Authors | P. Beame, R. M. Karp, T. Pitassi, and M. Saks |
| ICSI Research Group | Algorithms |
| ICSI Publication Type | None |