Explore projects

Static and dynamic activity bounds for boolean functions with small number of variables.