CNF Encodings of Symmetric Functions

Article Properties
Cite
Emdin, Gregory, et al. “CNF Encodings of Symmetric Functions”. Theory of Computing Systems, 2024, https://doi.org/10.1007/s00224-024-10168-w.
Emdin, G., Kulikov, A. S., Mihajlin, I., & Slezkin, N. (2024). CNF Encodings of Symmetric Functions. Theory of Computing Systems. https://doi.org/10.1007/s00224-024-10168-w
Emdin, Gregory, Alexander S. Kulikov, Ivan Mihajlin, and Nikita Slezkin. “CNF Encodings of Symmetric Functions”. Theory of Computing Systems, 2024. https://doi.org/10.1007/s00224-024-10168-w.
1.
Emdin G, Kulikov AS, Mihajlin I, Slezkin N. CNF Encodings of Symmetric Functions. Theory of Computing Systems. 2024;.
Journal Categories
Science
Mathematics
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
New upper bounds on the Boolean circuit complexity of symmetric functions Information Processing Letters
  • Technology: Technology (General): Industrial engineering. Management engineering: Information technology
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Telecommunication
  • Science: Science (General): Cybernetics: Information theory
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 11 2010
Minimizing Disjunctive Normal Form Formulas and $AC^0$ Circuits Given a Truth Table SIAM Journal on Computing
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 17 2008
10.1016/S0166-218X(02)00410-9 2003
10.1023/A:1009812409930 1999
A lower bound on CNF encodings of the at-most-one constraint Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 3 2019