Automated Proofs of Equality Problems in Overbeek's Competition.

Published in: J. Autom. Reason. (1993)

Keyphrases

machine learning
np complete
problems involving
neural network
real world
genetic algorithm
optimization problems
decision problems