Kurz, Sascha; Tautenhahn, Nikolas - In: International Journal of Game Theory 42 (2013) 2, pp. 411-437
special subclass of monotone Boolean functions. In order to apply the parametric Barvinok algorithm to obtain enumeration … list of suitably chosen sub-cases. As for the original enumeration problem of Dedekind on Boolean functions we have to …