Login / Signup

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

Guillaume BurelGilles Dowek
Published in: LFMTP (2009)
Keyphrases
  • objective function
  • pairwise
  • cost function
  • probabilistic model
  • machine learning
  • evolutionary algorithm
  • simulated annealing
  • orders of magnitude
  • belief propagation