Author:
Hyvärinen Antti E. J.,Junttila Tommi,Niemelä Ilkka
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Lecture Notes in Computer Science;N. Eén,2004
2. Gomes, C.P., Selman, B., Crato, N., Kautz, H.A.: Heavy-tailed phenomena in satisfiability and constraint satisfaction problems. J. Automated Reasoning 24(1/2), 67–100 (2000)
3. Luby, M., Sinclair, A., Zuckerman, D.: Optimal speedup of Las Vegas algorithms. Inf. Process. Lett. 47(4), 173–180 (1993)
4. Walsh, T.: Search in a small world. In: IJCAI, pp. 1172–1177. Morgan Kaufmann, San Francisco (1999)
5. Kautz, H.A., Horvitz, E., Ruan, Y., Gomes, C.P., Selman, B.: Dynamic restart policies. In: AAAI/IAAI, pp. 674–681 (2002)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A survey of SAT solver;AIP Conference Proceedings;2017
2. Swarm Verification Techniques;IEEE Transactions on Software Engineering;2011-11
3. Variations on Multi-Core Nested Depth-First Search;Electronic Proceedings in Theoretical Computer Science;2011-10-31
4. Partitioning SAT Instances for Distributed Solving;Logic for Programming, Artificial Intelligence, and Reasoning;2010
5. Tarmo: A Framework for Parallelized Bounded Model Checking;Electronic Proceedings in Theoretical Computer Science;2009-12-15