Author:
Audemard Gilles,Simon Laurent
Publisher
Springer International Publishing
Reference19 articles.
1. Lecture Notes in Computer Science;G. Audemard,2012
2. Audemard, G., Hoessen, B., Jabbour, S., Piette, C.: An effective distributed D&C approach for the satisfiability problem. In: 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2014) (February 2014)
3. Lecture Notes in Computer Science;G. Audemard,2011
4. Audemard, G., Simon, L.: Predicting learnt clauses quality in modern SAT solvers. In: Proceedings of IJCAI, pp. 399–404 (2009)
5. Lecture Notes in Computer Science;A. Biere,1999
Cited by
51 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献