Matches in SemOpenAlex for { <https://semopenalex.org/work/W207650926> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W207650926 abstract "The well known Boole -Shannon expansion of Boolean functions in several variables (with coefficients in a Boolean algebraB) is also known in more general form in terms of expansion in a setof orthonormal functions. However, unlike the one variable step of this expansion an analogous elimination theorem and consistency is not well known. This article proves such an elimination theorem for a special class of Boolean functions denoted B(�). When the orthonormal setis of polynomial size in number n of variables, the consistency of a Boolean equation f = 0 can be determined in polynomial number of B-operations. A characterization of B(�) is also shown and an elimination based procedure for computing consistency of Boolean equations is proposed. Comments: 15 pages, Revised June 18, 2013 Category: cs.CC, cs.SC, ms.RA ACM class: I.1.2, F.2.2, G.2 MSC class: 03G05, 06E30, 94C10." @default.
- W207650926 created "2016-06-24" @default.
- W207650926 creator A5023868242 @default.
- W207650926 date "2013-06-11" @default.
- W207650926 modified "2023-09-27" @default.
- W207650926 title "Generalization of Boole-Shannon expansion, consistency of Boolean equations and elimination by orthonormal expansion" @default.
- W207650926 cites W1499231756 @default.
- W207650926 cites W1554822239 @default.
- W207650926 cites W1578044518 @default.
- W207650926 cites W203529317 @default.
- W207650926 cites W2913079528 @default.
- W207650926 cites W586748284 @default.
- W207650926 hasPublicationYear "2013" @default.
- W207650926 type Work @default.
- W207650926 sameAs 207650926 @default.
- W207650926 citedByCount "2" @default.
- W207650926 countsByYear W2076509262017 @default.
- W207650926 countsByYear W2076509262020 @default.
- W207650926 crossrefType "posted-content" @default.
- W207650926 hasAuthorship W207650926A5023868242 @default.
- W207650926 hasConcept C114614502 @default.
- W207650926 hasConcept C118615104 @default.
- W207650926 hasConcept C121332964 @default.
- W207650926 hasConcept C134306372 @default.
- W207650926 hasConcept C136119220 @default.
- W207650926 hasConcept C154945302 @default.
- W207650926 hasConcept C158465420 @default.
- W207650926 hasConcept C169171071 @default.
- W207650926 hasConcept C177148314 @default.
- W207650926 hasConcept C187455244 @default.
- W207650926 hasConcept C202444582 @default.
- W207650926 hasConcept C207764348 @default.
- W207650926 hasConcept C2776436953 @default.
- W207650926 hasConcept C2777212361 @default.
- W207650926 hasConcept C33923547 @default.
- W207650926 hasConcept C41008148 @default.
- W207650926 hasConcept C5806529 @default.
- W207650926 hasConcept C62520636 @default.
- W207650926 hasConcept C81518389 @default.
- W207650926 hasConcept C90119067 @default.
- W207650926 hasConceptScore W207650926C114614502 @default.
- W207650926 hasConceptScore W207650926C118615104 @default.
- W207650926 hasConceptScore W207650926C121332964 @default.
- W207650926 hasConceptScore W207650926C134306372 @default.
- W207650926 hasConceptScore W207650926C136119220 @default.
- W207650926 hasConceptScore W207650926C154945302 @default.
- W207650926 hasConceptScore W207650926C158465420 @default.
- W207650926 hasConceptScore W207650926C169171071 @default.
- W207650926 hasConceptScore W207650926C177148314 @default.
- W207650926 hasConceptScore W207650926C187455244 @default.
- W207650926 hasConceptScore W207650926C202444582 @default.
- W207650926 hasConceptScore W207650926C207764348 @default.
- W207650926 hasConceptScore W207650926C2776436953 @default.
- W207650926 hasConceptScore W207650926C2777212361 @default.
- W207650926 hasConceptScore W207650926C33923547 @default.
- W207650926 hasConceptScore W207650926C41008148 @default.
- W207650926 hasConceptScore W207650926C5806529 @default.
- W207650926 hasConceptScore W207650926C62520636 @default.
- W207650926 hasConceptScore W207650926C81518389 @default.
- W207650926 hasConceptScore W207650926C90119067 @default.
- W207650926 hasLocation W2076509261 @default.
- W207650926 hasOpenAccess W207650926 @default.
- W207650926 hasPrimaryLocation W2076509261 @default.
- W207650926 hasRelatedWork W1604438253 @default.
- W207650926 hasRelatedWork W2000525984 @default.
- W207650926 hasRelatedWork W2003251272 @default.
- W207650926 hasRelatedWork W2003722472 @default.
- W207650926 hasRelatedWork W2011902727 @default.
- W207650926 hasRelatedWork W2023834316 @default.
- W207650926 hasRelatedWork W2111276113 @default.
- W207650926 hasRelatedWork W2117510723 @default.
- W207650926 hasRelatedWork W2121570310 @default.
- W207650926 hasRelatedWork W2136871609 @default.
- W207650926 hasRelatedWork W2212615093 @default.
- W207650926 hasRelatedWork W2293199312 @default.
- W207650926 hasRelatedWork W2366040337 @default.
- W207650926 hasRelatedWork W237901802 @default.
- W207650926 hasRelatedWork W2501747414 @default.
- W207650926 hasRelatedWork W2937666310 @default.
- W207650926 hasRelatedWork W2962704124 @default.
- W207650926 hasRelatedWork W2964347103 @default.
- W207650926 hasRelatedWork W2996715959 @default.
- W207650926 hasRelatedWork W2103432626 @default.
- W207650926 isParatext "false" @default.
- W207650926 isRetracted "false" @default.
- W207650926 magId "207650926" @default.
- W207650926 workType "article" @default.