Blair Seidler, Rutgers University

Abstract

Using enumerative techniques, we produce minimum-size circuits for every Boolean function of four or fewer variables and every monotone Boolean function of five variables. This talk will focus on the modeling decisions and optimization techniques used to produce the catalogs of circuits.

Link to video: https://vimeo.com/698291774

Presented Via Zoom: https://rutgers.zoom.us/j/94346444480

Password: 6564120420

For further information see: https://sites.math.rutgers.edu/~zeilberg/expmath/