GPU-Based Parallelism for ASP-Solving-Reference-Cited by-同舟云学术

GPU-Based Parallelism for ASP-Solving

Published:2020 Issue: Volume: Page:3-23
ISSN:0302-9743
Container-title:Declarative Programming and Knowledge Management
language:
Short-container-title:

Author:

Dovier Agostino,Formisano Andrea,Vella Flavio

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-46714-2_1

Reference22 articles.

1. Bernaschi, M., Bisson, M., Mastrostefano, E., Vella, F.: Multilevel parallelism for the exploration of large-scale graphs. IEEE Trans. Multi-Scale Comput. Syst. 4(3), 204–216 (2018)

2. Biere, A., Heule, M., van Maaren, H., Walsh, T.: Handbook of Satisfiability, Volume 185 of Frontiers in Artificial Intelligence and Applications. IOS Press (2009)

3. Dal Palù, A., Dovier, A., Formisano, A., Pontelli, E.: CUD@SAT: SAT solving on GPUs. J. Exper. Theor. Artif. Intell. (JETAI) 27(3), 293–316 (2015)

4. Dal Palù, A., Dovier, A., Pontelli, E., Rossi, G.: GASP: answer set programming with lazy grounding. Fundam. Inf. 96(3), 297–322 (2009)

5. Dovier, A., Formisano, A., Pontelli, E.: An experimental comparison of constraint logic programming and answer set programming. In: Proceedings of the 22nd AAAI Conference on Artificial Intelligence, pp. 1622–1625. AAAI Press (2007)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Design and implementation of modern CDCL ASP solvers;Intelligenza Artificiale;2024-05-25

2. Constraint Propagation on GPU: A Case Study for the Cumulative Constraint;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2023

3. Parallel Logic Programming: A Sequel;Theory and Practice of Logic Programming;2022-03-28

4. On the Anatomy of Predictive Models for Accelerating GPU Convolution Kernels and Beyond;ACM Transactions on Architecture and Code Optimization;2021-03-31