Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385273469> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W4385273469 abstract "Abstract Many Boolean functions that need to~be encoded as~CNF in~practice, have only exponential size CNF representations. To~avoid this effect, one usually introduces nondeterministic variables. For example, whereas the minimum number of~clauses in a~CNF computing the parity function $x_1oplus x_2 oplus dotsb oplus x_n$ is~$2^{n-1}$, one can use $n-1$ nondeterministic variables to~get a~CNF encoding with $4n$~clauses. In~this paper, we prove tradeoffs between various parameters (the number of~clauses, the width of~clauses, and the number of~nondeterministic variables) of~CNF encodings of~various symmetric functions. In~particular, we~show that a~folklore way of~encoding parity as~CNF is~provably optimal. We~do this by~using a~tight connection between CNF encodings and depth-3 circuits. This connection shows that CNF encodings is an~interesting computational model for Boolean functions: on~the one hand, it~is routinely used in~practice when translating a~practical computational problem to~a~format acceptable by a~SAT solver, on~the other hand, lower bounds on~the size of~CNF encodings imply depth-3 circuit lower bounds." @default.
- W4385273469 created "2023-07-27" @default.
- W4385273469 creator A5027212852 @default.
- W4385273469 creator A5045174507 @default.
- W4385273469 creator A5050148545 @default.
- W4385273469 creator A5060506774 @default.
- W4385273469 date "2023-07-26" @default.
- W4385273469 modified "2023-09-23" @default.
- W4385273469 title "CNF Encodings of Symmetric Functions" @default.
- W4385273469 doi "https://doi.org/10.21203/rs.3.rs-3171444/v1" @default.
- W4385273469 hasPublicationYear "2023" @default.
- W4385273469 type Work @default.
- W4385273469 citedByCount "0" @default.
- W4385273469 crossrefType "posted-content" @default.
- W4385273469 hasAuthorship W4385273469A5027212852 @default.
- W4385273469 hasAuthorship W4385273469A5045174507 @default.
- W4385273469 hasAuthorship W4385273469A5050148545 @default.
- W4385273469 hasAuthorship W4385273469A5060506774 @default.
- W4385273469 hasBestOaLocation W43852734691 @default.
- W4385273469 hasConcept C114614502 @default.
- W4385273469 hasConcept C118615104 @default.
- W4385273469 hasConcept C125411270 @default.
- W4385273469 hasConcept C13355873 @default.
- W4385273469 hasConcept C134306372 @default.
- W4385273469 hasConcept C151376022 @default.
- W4385273469 hasConcept C154945302 @default.
- W4385273469 hasConcept C16221470 @default.
- W4385273469 hasConcept C176181172 @default.
- W4385273469 hasConcept C187455244 @default.
- W4385273469 hasConcept C2524010 @default.
- W4385273469 hasConcept C33923547 @default.
- W4385273469 hasConcept C41008148 @default.
- W4385273469 hasConcept C6943359 @default.
- W4385273469 hasConceptScore W4385273469C114614502 @default.
- W4385273469 hasConceptScore W4385273469C118615104 @default.
- W4385273469 hasConceptScore W4385273469C125411270 @default.
- W4385273469 hasConceptScore W4385273469C13355873 @default.
- W4385273469 hasConceptScore W4385273469C134306372 @default.
- W4385273469 hasConceptScore W4385273469C151376022 @default.
- W4385273469 hasConceptScore W4385273469C154945302 @default.
- W4385273469 hasConceptScore W4385273469C16221470 @default.
- W4385273469 hasConceptScore W4385273469C176181172 @default.
- W4385273469 hasConceptScore W4385273469C187455244 @default.
- W4385273469 hasConceptScore W4385273469C2524010 @default.
- W4385273469 hasConceptScore W4385273469C33923547 @default.
- W4385273469 hasConceptScore W4385273469C41008148 @default.
- W4385273469 hasConceptScore W4385273469C6943359 @default.
- W4385273469 hasLocation W43852734691 @default.
- W4385273469 hasOpenAccess W4385273469 @default.
- W4385273469 hasPrimaryLocation W43852734691 @default.
- W4385273469 hasRelatedWork W1575676006 @default.
- W4385273469 hasRelatedWork W1845657774 @default.
- W4385273469 hasRelatedWork W2064885017 @default.
- W4385273469 hasRelatedWork W21453999 @default.
- W4385273469 hasRelatedWork W2166566648 @default.
- W4385273469 hasRelatedWork W2787006615 @default.
- W4385273469 hasRelatedWork W2801270188 @default.
- W4385273469 hasRelatedWork W2981948274 @default.
- W4385273469 hasRelatedWork W2992368780 @default.
- W4385273469 hasRelatedWork W4385273469 @default.
- W4385273469 isParatext "false" @default.
- W4385273469 isRetracted "false" @default.
- W4385273469 workType "article" @default.