Indiana University Bloomington

School of Informatics and Computing

Technical Report TR101:
Average Time Analyses of Simplified Davis-Putnam Procedures

Allen Goldberg, Paul W. Purdom, Jr. and Cynthia A. Brown
(Jan 1982)
[Information Processing Letters 15 (1982), 72--75]
Abstract:
The abstact is not available. Please see the full paper.

Available as: