Some Aspects of the Probabilistic Behavior of Variants of Resolution.

Peter Heusch, Ewald Speckenmeyer

Browse the full CSL paper archive.