TY  - RPRT
TI  - HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package
AU  - Luigi Capogrosso
AU  - Luca Geretti
AU  - Marco Cristani
AU  - Franco Fummi
AU  - Tiziano Villa
PY  - 2023
UR  - https://arxiv.org/abs/2305.00039
ID  - 2305.00039
ER  -