Login / Signup

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

Luigi CapogrossoLuca GerettiMarco CristaniFranco FummiTiziano Villa
Published in: CoRR (2023)
Keyphrases
  • logic programs
  • data mining
  • association rule mining