Matches in SemOpenAlex for { <https://semopenalex.org/work/W2098750649> ?p ?o ?g. }
- W2098750649 endingPage "269" @default.
- W2098750649 startingPage "262" @default.
- W2098750649 abstract "This paper presents a very efficient Boolean logic optimization method. The boolean optimization is achieved by adding and removing redundant wires in a circuit. Our algorithm applies the reasoning of Automatic Test Pattern Generation (ATPG) which can detect redundancy efficiently. During the ATPG process, mandatory assignments are assignments which must be satisfied. Our algorithm analyzes different characteristics of mandatory assignments during the ATPG process. New theoretical results based on the analysis are presented which lead to significant performance improvements. The fast run time and the excellent scaling to large problems make our Boolean optimization method practical for industrial applications. Experiments show that the optimization results are comparable to those of Kunz and Pradhan (1994) while the run time is two orders of magnitude faster (average 126/spl times/ speed up). Furthermore, we report optimization results for several large examples, which were previously thought to be too large to be handled by Boolean optimization methods." @default.
- W2098750649 created "2016-06-24" @default.
- W2098750649 creator A5041078029 @default.
- W2098750649 creator A5063371595 @default.
- W2098750649 creator A5073382186 @default.
- W2098750649 date "1996-11-01" @default.
- W2098750649 modified "2023-09-27" @default.
- W2098750649 title "Fast Boolean optimization by rewiring" @default.
- W2098750649 cites W1554885925 @default.
- W2098750649 cites W1828527112 @default.
- W2098750649 cites W2000600222 @default.
- W2098750649 cites W2008233507 @default.
- W2098750649 cites W2037931040 @default.
- W2098750649 cites W2038638586 @default.
- W2098750649 cites W2096554094 @default.
- W2098750649 cites W2110968362 @default.
- W2098750649 cites W2115571162 @default.
- W2098750649 cites W2117622249 @default.
- W2098750649 cites W2119627643 @default.
- W2098750649 cites W2135785475 @default.
- W2098750649 cites W2143021572 @default.
- W2098750649 cites W2150166484 @default.
- W2098750649 cites W2153163936 @default.
- W2098750649 cites W2164897963 @default.
- W2098750649 cites W2169837676 @default.
- W2098750649 doi "https://doi.org/10.5555/244522.244568" @default.
- W2098750649 hasPublicationYear "1996" @default.
- W2098750649 type Work @default.
- W2098750649 sameAs 2098750649 @default.
- W2098750649 citedByCount "35" @default.
- W2098750649 countsByYear W20987506492012 @default.
- W2098750649 countsByYear W20987506492013 @default.
- W2098750649 countsByYear W20987506492014 @default.
- W2098750649 countsByYear W20987506492015 @default.
- W2098750649 crossrefType "proceedings-article" @default.
- W2098750649 hasAuthorship W2098750649A5041078029 @default.
- W2098750649 hasAuthorship W2098750649A5063371595 @default.
- W2098750649 hasAuthorship W2098750649A5073382186 @default.
- W2098750649 hasConcept C111797529 @default.
- W2098750649 hasConcept C111919701 @default.
- W2098750649 hasConcept C11413529 @default.
- W2098750649 hasConcept C119599485 @default.
- W2098750649 hasConcept C127413603 @default.
- W2098750649 hasConcept C131017901 @default.
- W2098750649 hasConcept C134146338 @default.
- W2098750649 hasConcept C141796577 @default.
- W2098750649 hasConcept C147764199 @default.
- W2098750649 hasConcept C152124472 @default.
- W2098750649 hasConcept C157922185 @default.
- W2098750649 hasConcept C158465420 @default.
- W2098750649 hasConcept C17626397 @default.
- W2098750649 hasConcept C187455244 @default.
- W2098750649 hasConcept C196836630 @default.
- W2098750649 hasConcept C199360897 @default.
- W2098750649 hasConcept C41008148 @default.
- W2098750649 hasConcept C94992772 @default.
- W2098750649 hasConcept C98045186 @default.
- W2098750649 hasConceptScore W2098750649C111797529 @default.
- W2098750649 hasConceptScore W2098750649C111919701 @default.
- W2098750649 hasConceptScore W2098750649C11413529 @default.
- W2098750649 hasConceptScore W2098750649C119599485 @default.
- W2098750649 hasConceptScore W2098750649C127413603 @default.
- W2098750649 hasConceptScore W2098750649C131017901 @default.
- W2098750649 hasConceptScore W2098750649C134146338 @default.
- W2098750649 hasConceptScore W2098750649C141796577 @default.
- W2098750649 hasConceptScore W2098750649C147764199 @default.
- W2098750649 hasConceptScore W2098750649C152124472 @default.
- W2098750649 hasConceptScore W2098750649C157922185 @default.
- W2098750649 hasConceptScore W2098750649C158465420 @default.
- W2098750649 hasConceptScore W2098750649C17626397 @default.
- W2098750649 hasConceptScore W2098750649C187455244 @default.
- W2098750649 hasConceptScore W2098750649C196836630 @default.
- W2098750649 hasConceptScore W2098750649C199360897 @default.
- W2098750649 hasConceptScore W2098750649C41008148 @default.
- W2098750649 hasConceptScore W2098750649C94992772 @default.
- W2098750649 hasConceptScore W2098750649C98045186 @default.
- W2098750649 hasLocation W20987506491 @default.
- W2098750649 hasOpenAccess W2098750649 @default.
- W2098750649 hasPrimaryLocation W20987506491 @default.
- W2098750649 hasRelatedWork W1511688816 @default.
- W2098750649 hasRelatedWork W1783582684 @default.
- W2098750649 hasRelatedWork W2038638586 @default.
- W2098750649 hasRelatedWork W2057339729 @default.
- W2098750649 hasRelatedWork W2071529508 @default.
- W2098750649 hasRelatedWork W2096554094 @default.
- W2098750649 hasRelatedWork W2110968362 @default.
- W2098750649 hasRelatedWork W2115571162 @default.
- W2098750649 hasRelatedWork W2119627643 @default.
- W2098750649 hasRelatedWork W2124956691 @default.
- W2098750649 hasRelatedWork W2133559461 @default.
- W2098750649 hasRelatedWork W2140831103 @default.
- W2098750649 hasRelatedWork W2143021572 @default.
- W2098750649 hasRelatedWork W2143668592 @default.
- W2098750649 hasRelatedWork W2144881658 @default.
- W2098750649 hasRelatedWork W2164897963 @default.
- W2098750649 hasRelatedWork W2165370339 @default.
- W2098750649 hasRelatedWork W2168242454 @default.
- W2098750649 hasRelatedWork W2169837676 @default.