Matches in SemOpenAlex for { <https://semopenalex.org/work/W2082448265> ?p ?o ?g. }
- W2082448265 endingPage "140" @default.
- W2082448265 startingPage "97" @default.
- W2082448265 abstract "Fourty years ago Quine noted that finding a procedure that computes a minimal sum products for a given propositional formula is very complex, even though propositional formulas are fairly simple. Since this early work, this problem, known as two-level logic minimization, has attracted much attention. It arises in several fields of computer science, e.g., in logic synthesis, reliability analysis, and automated reasoning. This paper exposes the classical approach for two-level logic minimization, and presents the recent developments that overcome the limitations of the procedures proposed in the past. We show that these new techniques yield a minimizer that is 10 up to 50 times faster than the previously best known ones, and that is able to handle more complex functions." @default.
- W2082448265 created "2016-06-24" @default.
- W2082448265 creator A5000299040 @default.
- W2082448265 date "1994-10-01" @default.
- W2082448265 modified "2023-09-25" @default.
- W2082448265 title "Two-level logic minimization: an overview" @default.
- W2082448265 cites W1860888886 @default.
- W2082448265 cites W1971654502 @default.
- W2082448265 cites W1976303542 @default.
- W2082448265 cites W1993937043 @default.
- W2082448265 cites W1994143452 @default.
- W2082448265 cites W1996241662 @default.
- W2082448265 cites W2010477071 @default.
- W2082448265 cites W2018094844 @default.
- W2082448265 cites W2019184769 @default.
- W2082448265 cites W2023457712 @default.
- W2082448265 cites W2025637738 @default.
- W2082448265 cites W2030224590 @default.
- W2082448265 cites W2031784867 @default.
- W2082448265 cites W2032524661 @default.
- W2082448265 cites W2047315525 @default.
- W2082448265 cites W2062897452 @default.
- W2082448265 cites W2063353399 @default.
- W2082448265 cites W2068422506 @default.
- W2082448265 cites W2080267935 @default.
- W2082448265 cites W2100738443 @default.
- W2082448265 cites W2108309071 @default.
- W2082448265 cites W2136185430 @default.
- W2082448265 cites W2140817189 @default.
- W2082448265 cites W2141498370 @default.
- W2082448265 cites W2144386448 @default.
- W2082448265 cites W2147096558 @default.
- W2082448265 cites W2157295479 @default.
- W2082448265 cites W2329329248 @default.
- W2082448265 cites W2332863838 @default.
- W2082448265 cites W2335478831 @default.
- W2082448265 doi "https://doi.org/10.1016/0167-9260(94)00007-7" @default.
- W2082448265 hasPublicationYear "1994" @default.
- W2082448265 type Work @default.
- W2082448265 sameAs 2082448265 @default.
- W2082448265 citedByCount "167" @default.
- W2082448265 countsByYear W20824482652012 @default.
- W2082448265 countsByYear W20824482652013 @default.
- W2082448265 countsByYear W20824482652014 @default.
- W2082448265 countsByYear W20824482652015 @default.
- W2082448265 countsByYear W20824482652016 @default.
- W2082448265 countsByYear W20824482652017 @default.
- W2082448265 countsByYear W20824482652018 @default.
- W2082448265 countsByYear W20824482652019 @default.
- W2082448265 countsByYear W20824482652020 @default.
- W2082448265 countsByYear W20824482652021 @default.
- W2082448265 countsByYear W20824482652022 @default.
- W2082448265 countsByYear W20824482652023 @default.
- W2082448265 crossrefType "journal-article" @default.
- W2082448265 hasAuthorship W2082448265A5000299040 @default.
- W2082448265 hasConcept C111472728 @default.
- W2082448265 hasConcept C11413529 @default.
- W2082448265 hasConcept C121332964 @default.
- W2082448265 hasConcept C138885662 @default.
- W2082448265 hasConcept C147764199 @default.
- W2082448265 hasConcept C163258240 @default.
- W2082448265 hasConcept C199343813 @default.
- W2082448265 hasConcept C199360897 @default.
- W2082448265 hasConcept C2777686260 @default.
- W2082448265 hasConcept C2780586882 @default.
- W2082448265 hasConcept C33923547 @default.
- W2082448265 hasConcept C41008148 @default.
- W2082448265 hasConcept C43214815 @default.
- W2082448265 hasConcept C62520636 @default.
- W2082448265 hasConcept C69562738 @default.
- W2082448265 hasConcept C71924100 @default.
- W2082448265 hasConceptScore W2082448265C111472728 @default.
- W2082448265 hasConceptScore W2082448265C11413529 @default.
- W2082448265 hasConceptScore W2082448265C121332964 @default.
- W2082448265 hasConceptScore W2082448265C138885662 @default.
- W2082448265 hasConceptScore W2082448265C147764199 @default.
- W2082448265 hasConceptScore W2082448265C163258240 @default.
- W2082448265 hasConceptScore W2082448265C199343813 @default.
- W2082448265 hasConceptScore W2082448265C199360897 @default.
- W2082448265 hasConceptScore W2082448265C2777686260 @default.
- W2082448265 hasConceptScore W2082448265C2780586882 @default.
- W2082448265 hasConceptScore W2082448265C33923547 @default.
- W2082448265 hasConceptScore W2082448265C41008148 @default.
- W2082448265 hasConceptScore W2082448265C43214815 @default.
- W2082448265 hasConceptScore W2082448265C62520636 @default.
- W2082448265 hasConceptScore W2082448265C69562738 @default.
- W2082448265 hasConceptScore W2082448265C71924100 @default.
- W2082448265 hasIssue "2" @default.
- W2082448265 hasLocation W20824482651 @default.
- W2082448265 hasOpenAccess W2082448265 @default.
- W2082448265 hasPrimaryLocation W20824482651 @default.
- W2082448265 hasRelatedWork W1887191277 @default.
- W2082448265 hasRelatedWork W18977309 @default.
- W2082448265 hasRelatedWork W1965976175 @default.
- W2082448265 hasRelatedWork W2018619927 @default.
- W2082448265 hasRelatedWork W2230691193 @default.
- W2082448265 hasRelatedWork W2334954212 @default.
- W2082448265 hasRelatedWork W2776018879 @default.