Matches in SemOpenAlex for { <https://semopenalex.org/work/W2021874124> ?p ?o ?g. }
- W2021874124 endingPage "608" @default.
- W2021874124 startingPage "583" @default.
- W2021874124 abstract "Given a Boolean function f on n variables, a Disjoint Sum-of-Products (DSOP) of f is a set of products (ANDs) of subsets of literals whose sum (OR) equals f, such that no two products cover the same minterm of f. DSOP forms are a special instance of partial DSOPs, i.e. the general case where a subset of minterms must be covered exactly once and the other minterms (typically corresponding to don’t care conditions of f) can be covered any number of times. We discuss finding DSOPs and partial DSOPs with a minimal number of products, a problem theoretically connected with various properties of Boolean functions and practically relevant in the synthesis of digital circuits. Finding an absolute minimum is hard, in fact we prove that the problem of absolute minimization of partial DSOPs is NP-hard. Therefore it is crucial to devise a polynomial time heuristic that compares favorably with the known minimization tools. To this end we develop a further piece of theory starting from the definition of the weight of a cube c as a functions of the number of fragments induced on other cubes by the selection of c, and show how cube weights can be exploited for building a class of minimization heuristics for DSOP and partial DSOP synthesis. A set of experiments conducted on major benchmark functions show that our method, with a family of variants, always generates better results than the ones of previous heuristics, including the method based on a BDD representation of f." @default.
- W2021874124 created "2016-06-24" @default.
- W2021874124 creator A5006557955 @default.
- W2021874124 creator A5032558381 @default.
- W2021874124 creator A5073016367 @default.
- W2021874124 creator A5076933640 @default.
- W2021874124 date "2013-01-31" @default.
- W2021874124 modified "2023-09-30" @default.
- W2021874124 title "Compact DSOP and Partial DSOP Forms" @default.
- W2021874124 cites W1481714151 @default.
- W2021874124 cites W1523986763 @default.
- W2021874124 cites W1992671764 @default.
- W2021874124 cites W2056994701 @default.
- W2021874124 cites W2124078793 @default.
- W2021874124 cites W2124869406 @default.
- W2021874124 cites W2130402533 @default.
- W2021874124 cites W2401610261 @default.
- W2021874124 doi "https://doi.org/10.1007/s00224-013-9447-2" @default.
- W2021874124 hasPublicationYear "2013" @default.
- W2021874124 type Work @default.
- W2021874124 sameAs 2021874124 @default.
- W2021874124 citedByCount "11" @default.
- W2021874124 countsByYear W20218741242012 @default.
- W2021874124 countsByYear W20218741242014 @default.
- W2021874124 countsByYear W20218741242015 @default.
- W2021874124 countsByYear W20218741242016 @default.
- W2021874124 countsByYear W20218741242019 @default.
- W2021874124 countsByYear W20218741242020 @default.
- W2021874124 countsByYear W20218741242021 @default.
- W2021874124 countsByYear W20218741242022 @default.
- W2021874124 countsByYear W20218741242023 @default.
- W2021874124 crossrefType "journal-article" @default.
- W2021874124 hasAuthorship W2021874124A5006557955 @default.
- W2021874124 hasAuthorship W2021874124A5032558381 @default.
- W2021874124 hasAuthorship W2021874124A5073016367 @default.
- W2021874124 hasAuthorship W2021874124A5076933640 @default.
- W2021874124 hasBestOaLocation W20218741242 @default.
- W2021874124 hasConcept C111797529 @default.
- W2021874124 hasConcept C11413529 @default.
- W2021874124 hasConcept C114614502 @default.
- W2021874124 hasConcept C118615104 @default.
- W2021874124 hasConcept C126255220 @default.
- W2021874124 hasConcept C127705205 @default.
- W2021874124 hasConcept C136726353 @default.
- W2021874124 hasConcept C14036430 @default.
- W2021874124 hasConcept C147764199 @default.
- W2021874124 hasConcept C154945302 @default.
- W2021874124 hasConcept C173801870 @default.
- W2021874124 hasConcept C177264268 @default.
- W2021874124 hasConcept C182359184 @default.
- W2021874124 hasConcept C187455244 @default.
- W2021874124 hasConcept C199360897 @default.
- W2021874124 hasConcept C2777212361 @default.
- W2021874124 hasConcept C33923547 @default.
- W2021874124 hasConcept C41008148 @default.
- W2021874124 hasConcept C45340560 @default.
- W2021874124 hasConcept C78458016 @default.
- W2021874124 hasConcept C86803240 @default.
- W2021874124 hasConceptScore W2021874124C111797529 @default.
- W2021874124 hasConceptScore W2021874124C11413529 @default.
- W2021874124 hasConceptScore W2021874124C114614502 @default.
- W2021874124 hasConceptScore W2021874124C118615104 @default.
- W2021874124 hasConceptScore W2021874124C126255220 @default.
- W2021874124 hasConceptScore W2021874124C127705205 @default.
- W2021874124 hasConceptScore W2021874124C136726353 @default.
- W2021874124 hasConceptScore W2021874124C14036430 @default.
- W2021874124 hasConceptScore W2021874124C147764199 @default.
- W2021874124 hasConceptScore W2021874124C154945302 @default.
- W2021874124 hasConceptScore W2021874124C173801870 @default.
- W2021874124 hasConceptScore W2021874124C177264268 @default.
- W2021874124 hasConceptScore W2021874124C182359184 @default.
- W2021874124 hasConceptScore W2021874124C187455244 @default.
- W2021874124 hasConceptScore W2021874124C199360897 @default.
- W2021874124 hasConceptScore W2021874124C2777212361 @default.
- W2021874124 hasConceptScore W2021874124C33923547 @default.
- W2021874124 hasConceptScore W2021874124C41008148 @default.
- W2021874124 hasConceptScore W2021874124C45340560 @default.
- W2021874124 hasConceptScore W2021874124C78458016 @default.
- W2021874124 hasConceptScore W2021874124C86803240 @default.
- W2021874124 hasIssue "4" @default.
- W2021874124 hasLocation W20218741241 @default.
- W2021874124 hasLocation W20218741242 @default.
- W2021874124 hasLocation W20218741243 @default.
- W2021874124 hasOpenAccess W2021874124 @default.
- W2021874124 hasPrimaryLocation W20218741241 @default.
- W2021874124 hasRelatedWork W152472178 @default.
- W2021874124 hasRelatedWork W1568562702 @default.
- W2021874124 hasRelatedWork W1968808691 @default.
- W2021874124 hasRelatedWork W1979792874 @default.
- W2021874124 hasRelatedWork W1984029699 @default.
- W2021874124 hasRelatedWork W1986094244 @default.
- W2021874124 hasRelatedWork W2100136773 @default.
- W2021874124 hasRelatedWork W2460779241 @default.
- W2021874124 hasRelatedWork W2981948274 @default.
- W2021874124 hasRelatedWork W3012054845 @default.
- W2021874124 hasVolume "53" @default.
- W2021874124 isParatext "false" @default.
- W2021874124 isRetracted "false" @default.