How can we prove that a proof search method is not an instance of another?

Guillaume Burel Gilles Dowek

Published in: LFMTP (2009)

Keyphrases

objective function
pairwise
cost function
probabilistic model
machine learning
evolutionary algorithm
simulated annealing
orders of magnitude
belief propagation