> Knuth takes this concept one step further and produces visualizations of non-trivial boolean formulas that clearly show the regular, both symmetrical and asym

> Knuth takes this concept one step further and produces visualizations of non-trivial boolean formulas that clearly show the regular, both symmetrical and asymmetrical, sometimes fractal-like nature of these formulas. The visualizations were done by Carsten Sinz. This is his paper describing the technique: Carsten Sinz. Visualizing SAT Instances and Runs of the DPLL Algorithm. J. Automated Reasoning, 39(2):219-243, 2007. https://www.carstensinz.de/papers/JAR-2007-Visualization.pdf https://www.carstensinz.de/papers/JAR-2007-Visualization.pdf https://doi.org/10.1007/s10817-007-9074-1 https://doi.org/10.1007/s10817-007-9074-1