Publisher
Springer International Publishing
Reference42 articles.
1. Achlioptas, D., Kirousis, L.M., Kranakis, E., Krizanc, D.: Rigorous results for random (2+p)-SAT. Theor. Comput. Sci. 265(1–2), 109–129 (2001)
2. Alistarh, D., Sauerwald, T., Vojnović, M.: Lock-free algorithms under stochastic schedulers. In: 34th Symposium on Principles of Distributed Computing (PODC), pp. 251–260 (2015)
3. Ansótegui, C., Bonet, M.L., Giráldez-Cru, J., Levy, J.: The fractal dimension of SAT formulas. In: 7th International Joint Conference on Automated Reasoning (IJCAR), pp. 107–121 (2014)
4. Ansótegui, C., Bonet, M.L., Giráldez-Cru, J., Levy, J.: On the classification of industrial SAT families. In: 18th International Conference of the Catalan Association for Artificial Intelligence (CCIA), pp. 163–172 (2015)
5. Lecture Notes in Computer Science;C Ansótegui,2009
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献