Lesson 4

A circuit of size \(11\) computing \(\operatorname{SUM}_{5}\) is shown below. It was found using SAT solvers.

In general, finding an optimal size circuit is a difficult task. For circuits larger than twenty, it is usually impossible to verify if they are of optimal size.