Level-p-complexity of Boolean Functions using Thinning, Memoization, and Polynomials

Julia Jansson, Patrik Jansson

This paper describes a purely functional library for computing level-$p$-complexity of Boolean functions, and applies it to two-level iterated majority. Boolean functions are simpl…