Solving SAT Problems with TA Algorithms Using Constant and Dynamic Markov Chains Length.

Hctor Sanvicente Snchez, Juan Frausto Sols, Froiln Imperial-Valenzuela

Browse the full AAIM paper archive.