A High Level Language for Solver Independent Model Manipulation and Generation of Hybrid Solvers.

Daniel Fontaine Laurent Michel

Published in: CPAIOR (2012)

Keyphrases

prior knowledge
high level
formal model
np complete
computational model
orders of magnitude
experimental data
neural network
image sequences
probability distribution
theoretical framework