HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package.

Luigi Capogrosso, Luca Geretti, Marco Cristani, Franco Fummi, Tiziano Villa

Browse the full DDECS paper archive.