An Improved Filter for Literal Indexing in Resolution Systems.

Lawrence J. Henschen, Shamim A. Naqvi

Browse the full IJCAI paper archive.