7 citations · 8 across the 5 of their papers we have counts for
Showing cs.DMShow all
2 papers · 1 filter
cs.DM2015
Arithmetic for Rooted Trees
Fabrizio Luccio
We propose a new arithmetic for non-empty rooted unordered trees simply called trees. After discussing tree representation and enumeration, we define the operations of tree additio…
cs.DM2012
Compact DSOP and partial DSOP Forms
Anna Bernasconi, Valentina Ciriani, Fabrizio Luccio +1
Given a Boolean function f on n variables, a Disjoint Sum-of-Products (DSOP) of f is a set of products (ANDs) of subsets of literals whose sum (OR) equals f, such that no two produ…