Parallel Processing of Resolution.

Takahira Yamaguchi, Yoshikazu Tezuka, Osamu Kakusho

Browse the full IJCAI paper archive.