Abstract Model Generation for Preprocessing Clause Sets.

Miyuki Koshimura Mayumi Umeda Ryuzo Hasegawa

Published in: LPAR (2004)

Keyphrases

preprocessing
search space
feature extraction
neural network
information systems
image processing
high level
search algorithm
lower bound
low level
higher level
post processing
set theoretic
preprocessing phase