activity
20222026
most citedA Machine Learning-oriented Survey on Tiny Machine Learning

4 citations · 7 across the 22 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2023

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

Luigi Capogrosso, Luca Geretti, Marco Cristani +2

BDDs are representations of a Boolean expression in the form of a directed acyclic graph. BDDs are widely used in several fields, particularly in model checking and hardware verifi…