Cirbo is a new open-source tool whose hybrid SAT-based synthesis and minimization methods produced the smallest known circuits for many IWLS 2024 benchmarks.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis
Cirbo is a new open-source tool whose hybrid SAT-based synthesis and minimization methods produced the smallest known circuits for many IWLS 2024 benchmarks.