An Undecidable Problem in Finite Combinatorics.

Kevin J. Compton

Published in: J. Symb. Log. (1984)

Keyphrases

finite number
sufficient conditions
graph theory
decision making
reinforcement learning
datalog programs
real time