Sign in

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

Luigi CapogrossoLuca GerettiMarco CristaniFranco FummiTiziano Villa
Published in: DDECS (2023)
Keyphrases
  • database systems
  • general purpose
  • binary decision diagrams