Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Vorobiev, Aleksey"'
Autor:
Averkov, Daniil, Belova, Tatiana, Emdin, Gregory, Goncharov, Mikhail, Krivogornitsyna, Viktoriia, Kulikov, Alexander S., Kurmazov, Fedor, Levtsov, Daniil, Levtsov, Georgie, Vaskin, Vsevolod, Vorobiev, Aleksey
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
Externí odkaz:
http://arxiv.org/abs/2412.14933
