Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
A $4n$ Lower Bound on the Combinational Complexity of Certain Symmetric Boolean Functions over the Basis of Unate Dyadic Boolean Functions | SIAM Journal on Computing |
| 7 | 1991 |
A Boolean function requiring 3n network size | Theoretical Computer Science |
| 38 | 1984 |
On the combinational complexity of certain symmetric Boolean functions | Mathematical Systems Theory | 1977 | ||
The Synthesis of Two-Terminal Switching Circuits | The Bell System Technical Journal | 255 | 1949 | |
Finding efficient circuits using SAT-solvers | 2009 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
CNF Encodings of Symmetric Functions | Theory of Computing Systems |
| 2024 | |
On the complexity of monotone circuits for threshold symmetric Boolean functions | Discrete Mathematics and Applications |
| 2021 | |
On the complexity of monotone circuits for threshold symmetric Boolean functions | Diskretnaya Matematika | 2020 | ||
On the limits of gate elimination | Journal of Computer and System Sciences |
| 2018 | |
An iterative structure for synthesizing symmetric functions using quantum-dot cellular automata | Microprocessors and Microsystems |
| 2 | 2017 |