Solving SAT Problems with TA Algorithms Using Constant and Dynamic Markov Chains Length - Sanvicente–Sánchez, Héctor; Frausto–Solís, Juan; Imperial–Valenzuela, Froilán (Algorithmic Applications in Management, 2005)
Keywords: Algorithmics. Computability. Computer arithmetics; Applied sciences; Combinatorial Optimization; Computer science; control theory; systems; Cooling Scheme; Dynamic Markov Chains; Exact sciences and technology; Heuristic Optimization; Mathematical programming; Operational research and scientific management; Operational research. Management science; SAT problem; Simulated Annealing; Theoretical computing; Threshold Accepting; Combinatorial problem; Chain length; Optimization method; Algorithmics; Constraint satisfaction; Processing time; Combinatorial optimization; Markov chain; Propositional logic; Combinatorial method; Quality; Simulated annealing; Problem solving; Satisfiability problem; Mathematical programming; Threshold