Technical Report TR207:
An Exponential Lower Bound For the Pure Literal rule
Khaled M. Bugara & Paul W. Purdom
(Dec 1986)
[Information Processing Letters 27, North-Holland, (Apr. 1988) 215--219)]
- Abstract:
-
The abstact is not available. Please see the full paper.
- Available as:
-
