Symbolic Enumeration of Discrete Objects Protocol Design | Symbolic Enumeration of Discrete Objects | Mathematics | NEROS