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:
-
