Rough Resolution: A Refinement of Resolution to Remove Large Literals.

Heng Chu, David A. Plaisted

Browse the full AAAI paper archive.