48 citations · 56 across the 3 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…