Publisher
Springer International Publishing
Reference59 articles.
1. Arbelaez, A., Codognet, P.: Massively parallel local search for SAT. In: 2012 IEEE 24th International Conference on Tools with Artificial Intelligence. vol. 1, pp. 57–64. IEEE (2012)
2. Arbelaez, A., Hamadi, Y.: Improving parallel local search for SAT. In: International Conference on Learning and Intelligent Optimization. pp. 46–60. Springer (2011)
3. Audemard, G., Lagniez, J.M., Szczepanski, N., Tabary, S.: An adaptive parallel SAT solver. In: International Conference on Principles and Practice of Constraint Programming. pp. 30–48. Springer (2016)
4. Audemard, G., Simon, L.: Predicting learnt clauses quality in modern SAT solvers. In: International Joint Conference on Artificial Intelligence (IJCAI). vol. 9, pp. 399–404 (2009)
5. Audemard, G., Simon, L.: Lazy clause exchange policy for parallel SAT solvers. In: Theory and Applications of Satisfiability Testing (SAT), pp. 197–205. Springer (2014)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献