Solving SAT Problems with TA Algorithms Using Constant and Dynamic Markov Chains Length. - Héctor Sanvicente Sánchez; Juan Frausto Solís; Froilán Imperial-Valenzuela (AAIM, 2005)

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 (SEAL, 2006)