Author:
Pipatsrisawat Knot,Darwiche Adnan
Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference30 articles.
1. A. Atserias, J.K. Fichte, M. Thurley, Clause-learning algorithms with many restarts and bounded-width resolution, in: Proceedings of 12th International Conference on Theory and Applications of Satisfiability Testing (SAT'09), 2009, pp. 114–127.
2. G. Audemard, L. Bordeaux, Y. Hamadi, S. Jabbour, L. Sais, A generalized framework for conflict analysis, in: Proceedings of 11th International Conference on Theory and Applications of Satisfiability Testing (SAT'08), 2008, pp. 21–27.
3. G. Audemard, L. Simon, Predicting learnt clauses quality in modern SAT solver, in: Proceedings of 21st International Joint Conference on Artificial Intelligence (IJCAI'09), July 2009, pp. 399–404.
4. R.J.J. Bayardo, R.C. Schrag, Using CSP look-back techniques to solve real-world SAT instances, in: Proceedings of 14th National Conference on Artificial Intelligence (AAAI-97), 1997, pp. 203–208.
5. Towards understanding and harnessing the potential of clause learning;Beame;Journal of Artificial Intelligence Research,2004
Cited by
79 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献