Subscribe to Events
Minimal Circuits for Boolean Functions of Few Variables
Blair Seidler, Rutgers University
Location: zoom
Date & time: Thursday, 07 April 2022 at 5:00PM - 6:00PM
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.
Zoom link: https://rutgers.zoom.us/j/94346444480
password: The 20th Catalan number, alias (40)!/(20!*21!), alias 6564120420
password: The 20th Catalan number, alias (40)!/(20!*21!), alias 6564120420