A solution to Curry and Hindley's problem on combinatory strong reduction.

Pierluigi Minari

Published in: Arch. Math. Log. (2009)

Keyphrases

database systems
optimal solution
solution space
integer programming
linear systems
linear equations
genetic algorithm
decision trees
image sequences
reinforcement learning
multi objective
probabilistic model
mathematical model