A Program-Size Complexity Measure for Mathematical Problems and Conjectures.

Michael J. Dinneen

Published in: Computation, Physics and Beyond (2012)

Keyphrases

computational complexity
decision problems
solving problems
optimization problems
neural network
simulated annealing
application domains
space complexity
computer programs
knowledge base
case study
bayesian networks
complexity measures