_id,doi,title
14718,10.34727/2023/isbn.978-3-85448-060-0_20,Binary decision diagrams on modern hardware