Enhancing global SLS-resolution with loop cutting and tabling mechanisms.

Yi-Dong Shen Jia-Huai You Li-Yan Yuan

Published in: Theor. Comput. Sci. (2004)

Keyphrases

low resolution
databases
machine learning
information systems
image processing
lower bound
high resolution
logic programming
building blocks
combinatorial optimization
practical problems