Author:
Zhou Yuren,He Jun,Nie Qing
Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference34 articles.
1. Simulated Annealing and Boltzmann Machines;Aarts,1989
2. Linear upper bounds for random walk on small density random 3-CNF;Alekhnovich;SIAM Journal on Computing,2006
3. Towards understanding and harnessing the potential of clause learning;Beame;Journal of Artificial Intelligence Research,2004
4. Survey propagation: An algorithm for satisfiability;Braunstein;Random Structures & Algorithms,2005
5. The complexity of theorem-proving procedures;Cook,1971
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献