Author:
Audemard Gilles,Lagniez Jean-Marie,Mazure Bertrand,Saïs Lakhdar
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Audemard, G., Bordeaux, L., Hamadi, Y., Jabbour, S., Saïs, L.: A Generalized Framework for Conflitcs Analysis. Technical Report MSR-TR-2008-34, Microsoft Research (2008)
2. Audemard, G., Simon, L.: Predicting learnt clauses quality in modern SAT solvers. In: Proceedings of IJCAI, pp. 399–404 (2009)
3. Beame, P., Kautz, H., Sabharwal, A.: Towards understanding and harnessing the potential of clause learning. Journal of Artificial Intelligence Research 22, 319–351 (2004)
4. Lecture Notes in Computer Science;N. Eén,2005
5. Lecture Notes in Computer Science;N. Eén,2004
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Efficient Constraint Learning For Stream Reasoning;2023 IEEE 35th International Conference on Tools with Artificial Intelligence (ICTAI);2023-11-06
2. Too much information: Why CDCL solvers need to forget learned clauses;PLOS ONE;2022-08-26
3. Parallel Maximum Satisfiability;Handbook of Parallel Constraint Reasoning;2018
4. A Distributed Version of Syrup;Theory and Applications of Satisfiability Testing – SAT 2017;2017
5. An Adaptive Parallel SAT Solver;Lecture Notes in Computer Science;2016