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 |