Author:
LIU ShengCai,YANG Peng,TANG Ke
Publisher
Science China Press., Co. Ltd.
Subject
Computer Networks and Communications,Control and Systems Engineering
Reference26 articles.
1. Asanovic K, Bodik R, Demmel J. A view of the parallel computing landscape. Commun ACM, 2009, 52: 56-67.
2. Biere A, Fazekas K, Fleury M, et al. CaDiCaL, Kissat, paracooba, plingeling and treengeling entering the SAT competition 2020. In: Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions. Helsinki: University of Helsinki, 2020. 50–53.
3. Gottlob G, Okulmus C, Pichler R. Fast and parallel decomposition of constraint satisfaction problems. In: Proceedings of the 29th International Joint Conference on Artificial Intelligence. AAAI Press, 2020. 1155–1162.
4. Gebser M, Kaufmann B, Neumann A, et al. Clasp: A conflict-driven answer set solver. In: Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning. Tempe, 2007. 260–265.
5. Ralphs T K, Shinano Y, Berthold T, et al. Parallel solvers for mixed integer linear optimization. In: Hamadi Y, Sais L, eds. Handbook of Parallel Constraint Reasoning. Cham: Springer, 2018. 283–336.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献