DOI,IST REx ID,Research Group,Title of publication
10.34727/2023/isbn.978-3-85448-060-0_20,14718,ToHe,Binary decision diagrams on modern hardware