Unsolvable Problems for SLDNF Resolution.

John C. Shepherdson

Published in: J. Log. Program. (1991)

Keyphrases

problems involving
machine learning
databases
neural network
genetic algorithm
image processing
three dimensional
search algorithm
expert systems
high resolution
optimization problems
mathematical programming
solving problems
related problems