Login / Signup
ANDYMARK: An Analytical Method to Establish Dynamically the Length of the Markov Chain in Simulated Annealing for the Satisfiability Problem.
Juan Frausto Solís
Héctor Sanvicente Sánchez
Froilán Imperial-Valenzuela
Published in:
SEAL (2006)
Keyphrases
</>
markov chain
monte carlo simulation
satisfiability problem
monte carlo method
markov model
steady state
finite state
computational complexity
gaussian distribution
monte carlo
simulated annealing
state space
probabilistic model
dynamic programming
special case
lower bound
machine learning
algo rithm