On the complexity of the clone membership problem

Emil Jeřábek

We investigate the complexity of the Boolean clone membership problem (CMP): given a set of Boolean functions $F$ and a Boolean function $f$, determine if $f$ is in the clone gener…