A carregar...

Circumspect descent prevails in solving random constraint satisfaction problems

We study the performance of stochastic local search algorithms for random instances of the K-satisfiability (K-SAT) problem. We present a stochastic local search algorithm, ChainSAT, which moves in the energy landscape of a problem instance by never going upwards in energy. ChainSAT is a focused alg...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Main Authors: Alava, Mikko, Ardelius, John, Aurell, Erik, Kaski, Petteri, Krishnamurthy, Supriya, Orponen, Pekka, Seitz, Sakari
Formato: Artigo
Idioma:Inglês
Publicado em: National Academy of Sciences 2008
Assuntos:
Acesso em linha:https://ncbi.nlm.nih.gov/pmc/articles/PMC2563103/
https://ncbi.nlm.nih.gov/pubmed/18832149
https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1073/pnas.0712263105
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!