Cited By
View all- Osama MWijs ABiere A(2024)Certified SAT solving with GPU accelerated inprocessingFormal Methods in System Design10.1007/s10703-023-00432-z62:1-3(79-118)Online publication date: 1-Jun-2024
- van Eerd JGroote JHijma PMartens JOsama MWijs A(2023)Innermost many-sorted term rewriting on GPUsScience of Computer Programming10.1016/j.scico.2022.102910225:COnline publication date: 1-Jan-2023
- Fumero JStratikopoulos AKotselidis CAguiar AChiba SBoix E(2020)Running parallel bytecode interpreters on heterogeneous hardwareCompanion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming10.1145/3397537.3397563(31-35)Online publication date: 23-Mar-2020
- Show More Cited By