Author:
Zulkoski Edward,Martins Ruben,Wintersteiger Christoph M.,Robere Robert,Liang Jia Hui,Czarnecki Krzysztof,Ganesh Vijay
Publisher
Springer International Publishing
Reference30 articles.
1. Atserias, A., Fichte, J.K., Thurley, M.: Clause-learning algorithms with many restarts and bounded-width resolution. J. Artif. Intell. Res. 40, 353–373 (2011)
2. Beame, P., Kautz, H., Sabharwal, A.: Towards understanding and harnessing the potential of clause learning. J. Artif. Intell. Res. 22, 319–351 (2004)
3. Beame, P., Kautz, H., Sabharwal, A.: Understanding and harnessing the potential of clause learning. J. Artif. Intell. Res. 22, 319–351 (2014)
4. Beame, P., Sabharwal, A.: Non-restarting sat solvers with simple preprocessing can efficiently simulate resolution. In: AAAI Conference on Artificial Intelligence, pp. 2608–2615. AAAI Press (2014)
5. Biere, A., Fröhlich, A.: Evaluating CDCL restart schemes. In: Pragmatics of SAT Workshop (2015)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献