Google's winning submission to IWLS2023 Programming Contest
The goal of the contest was to synthesize AIGs[1] with the minimal number of two-input and-nodes (AIGs) and two-input xor-and-nodes (XAIGs), for a set of completely-specified multi-output Boolean functions represented using truth tables.
TL;DR: Build the smallest possible circuit that provides a given binary input/output mapping. The solution uses a technique called Circuit Neural Networks and Simulated Annealing.
3 comments
[ 4.0 ms ] story [ 27.0 ms ] threadThe goal of the contest was to synthesize AIGs[1] with the minimal number of two-input and-nodes (AIGs) and two-input xor-and-nodes (XAIGs), for a set of completely-specified multi-output Boolean functions represented using truth tables.
TL;DR: Build the smallest possible circuit that provides a given binary input/output mapping. The solution uses a technique called Circuit Neural Networks and Simulated Annealing.
1. https://en.wikipedia.org/wiki/And-inverter_graph