4 ms·

Google's winning submission to IWLS2023 Programming Contest

• yablak 3y ago
  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. 1. https://en.wikipedia.org/wiki/And-inverter_graph https://en.wikipedia.org/wiki/And-inverter_graph
• raverbashing 3y ago
  Warning: the link to the article is actually a link to a video file. Not yt, or an online viewer, a video file
  • yablak 3y ago
    Sadly afaict GitHub offers no viewer for MP4 content.