Author:
Audemard Gilles,Simon Laurent
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Audemard, G., Simon, L.: Predicting learnt clauses quality in modern SAT solvers. In: Proceedings of IJCAI, pp. 399–404 (2009)
2. Lecture Notes in Computer Science;A. Biere,2008
3. Biere, A.: Picosat essentials. JSAT 4, 75–97 (2008)
4. Davis, M., Logemann, G., Loveland, D.: A machine program for theorem-proving. Communication of ACM 5(7), 394–397 (1962)
5. Lecture Notes in Computer Science;N. Eén,2004
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献