Schematic Saturation for Decision and Unification Problems.

Christopher Lynch

Published in: CADE (2003)

Keyphrases

neural network
decision making
np complete
benchmark problems
related problems
decision processes
database
computer vision
reinforcement learning
search algorithm
optimization problems
decision makers
combinatorial optimization
solving problems