Author:
Achlioptas Dimitris,Naor Assaf,Peres Yuval
Publisher
Springer Science and Business Media LLC
Reference25 articles.
1. Cook, S. A. The complexity of theorem-proving procedures. Proc. 3rd Ann. ACM Symp. on Theory of Computing 151–158 (1971)
2. Cheeseman, P., Kanefsky, B. & Taylor, W. Where the really hard problems are. Proc. 12th Int. Joint Conf. on Artificial Intelligence 331–337 (1991)
3. Selman, B., Levesque, H. & Mitchell, D. Hard and easy distributions of SAT problems. Proc. 10th Nat. Conf. on Artificial Intelligence 459–465 (1992)
4. Kirkpatrick, S. & Selman, B. Critical behavior in the satisfiability of random boolean expressions. Science 264, 1297–1301 (1994)
5. Monasson, R., Zecchina, R., Kirkpatrick, S., Selman, B. & Troyansky, L. Determining computational complexity from characteristic ‘phase transitions’. Nature 400, 133–137 (1999)
Cited by
169 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献