21 citations · 29 across the 4 of their papers we have counts for
1 paper · 1 filter
Alain Finkel, Jérôme Leroux
Number Decision Diagrams (NDD) provide a natural finite symbolic representation for regular set of integer vectors encoded as strings of digit vectors (least or most significant di…