I’ve spent over 20 years implementing algorithms for Boolean minimization, with particular application to area optimization of large semiconductor circuits. This exploration has included almost all published algorithms, dozens of conventional and exotic data structures, over two dozen programming languages and styles, and almost every level of implementation, from reconfigurable silicon through...
