Tag: Logical Circuits
-
When Diversity Becomes Logic
How selecting diverse subsets can encode logical circuits Michael Emmerich, May 12th 2026. Figure 1 shows how the satisfiability of the 3-SAT clause (‘1’ OR ‘2’ OR ‘3’) can be encoded as a maximum-diversity subset selection problem. Each disc centre represents a candidate choice, and the task is to select as many non-overlapping discs as…
Michael Emmerich 