Publication Details
Title: The Efficiency of Resolution and Davis-Putnamn Procedures
Author: P. Beame, R. M. Karp, T. Pitassi, and M. Saks
Group: Algorithms
Date: 2002
PDF: [Not available online]
Bibliographic Information:
SIAM Journal of Computing, Vol. 31, No. 4, pp. 1048-1075
Bibliographic Reference:
P. Beame, R. M. Karp, T. Pitassi, and M. Saks. The Efficiency of Resolution and Davis-Putnamn Procedures. SIAM Journal of Computing, Vol. 31, No. 4, pp. 1048-1075, 2002
Author: P. Beame, R. M. Karp, T. Pitassi, and M. Saks
Group: Algorithms
Date: 2002
PDF: [Not available online]
Bibliographic Information:
SIAM Journal of Computing, Vol. 31, No. 4, pp. 1048-1075
Bibliographic Reference:
P. Beame, R. M. Karp, T. Pitassi, and M. Saks. The Efficiency of Resolution and Davis-Putnamn Procedures. SIAM Journal of Computing, Vol. 31, No. 4, pp. 1048-1075, 2002