Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis

要約

ブール回路を操作するためのオープンソース ツールを紹介します。
充足可能性、合成、最小化など、頻繁に使用される回路タスクの豊富な種類に対して、既存および新規の両方の効率的なアルゴリズムを実装します。
私たちは、過去 3 年間コミュニティによって集中的に最適化されてきた、実際に関連する幅広い回路 (コンピューティング、特に対称関数と算術関数) でこのツールをテストしました。
このツールは、IWLS 2024 プログラミング コンテストでの優勝に役立ちました。
2023 年、このコンテストで 1 位になったのは Google DeepMind でした。
2023 年から最適な回路のサイズを平均 12\% 削減できましたが、一部の個別の回路ではサイズの削減が 83\% にも達しました。

要約(オリジナル)

We present an open-source tool for manipulating Boolean circuits. It implements efficient algorithms, both existing and novel, for a rich variety of frequently used circuit tasks such as satisfiability, synthesis, and minimization. We tested the tool on a wide range of practically relevant circuits (computing, in particular, symmetric and arithmetic functions) that have been optimized intensively by the community for the last three years. The tool helped us to win the IWLS 2024 Programming Contest. In 2023, it was Google DeepMind who took the first place in the competition. We were able to reduce the size of the best circuits from 2023 by 12\% on average, whereas for some individual circuits, our size reduction was as large as 83\%.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google