The Efficiency of Resolution and Davis-Putnamn Procedures

TitleThe Efficiency of Resolution and Davis-Putnamn Procedures
Publication TypeJournal Article
Year of Publication2002
AuthorsBeame, P., Karp R. M., Pitassi T., & Saks M.
Volume31
Issue4
Page(s)1048-1075
Other Numbers410
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