Indiana University Bloomington

School of Informatics and Computing

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: