On-the-Fly Lazy Clause Simplification Based on Binary Resolvents.

Hidetomo Nabeshima Koji Iwanuma Katsumi Inoue

Published in: ICTAI (2013)

Keyphrases

preprocessing
search space
lower bound
data mining
search engine
information systems
multiscale
multiresolution
multi class