Matches in SemOpenAlex for { <https://semopenalex.org/work/W2146607599> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2146607599 endingPage "909" @default.
- W2146607599 startingPage "902" @default.
- W2146607599 abstract "In this paper, we present new lower bounds on binary decision diagram (BDD) size. These lower bounds are derived from more general lower bounds that recently were given in the context of exact BDD minimization. The results presented in this paper are twofold. First, we gain deeper insight by looking at the theory behind the new lower bounds. Examples lead to a better understanding, showing that the new lower bounds are effective in situations where this is not the case for previous lower bounds and vice versa. Following the constraints in practice, we then compromise between run time and quality of the lower bounds. Finally, a clever combination of old and new lower bounds results in a final tight lower bound, yielding a significant improvement. Experimental results show the efficiency of our approach." @default.
- W2146607599 created "2016-06-24" @default.
- W2146607599 creator A5071742136 @default.
- W2146607599 creator A5084967888 @default.
- W2146607599 date "2006-05-01" @default.
- W2146607599 modified "2023-09-27" @default.
- W2146607599 title "Effect of improved lower bounds in dynamic BDD reordering" @default.
- W2146607599 cites W1886348063 @default.
- W2146607599 cites W1977533508 @default.
- W2146607599 cites W2080267935 @default.
- W2146607599 cites W2108016168 @default.
- W2146607599 cites W2109021772 @default.
- W2146607599 cites W2118291360 @default.
- W2146607599 cites W2123879785 @default.
- W2146607599 cites W2141472133 @default.
- W2146607599 cites W2141501391 @default.
- W2146607599 cites W4239569538 @default.
- W2146607599 cites W4243823432 @default.
- W2146607599 cites W4245047141 @default.
- W2146607599 cites W4252439377 @default.
- W2146607599 cites W4255413535 @default.
- W2146607599 cites W4378744510 @default.
- W2146607599 doi "https://doi.org/10.1109/tcad.2005.854632" @default.
- W2146607599 hasPublicationYear "2006" @default.
- W2146607599 type Work @default.
- W2146607599 sameAs 2146607599 @default.
- W2146607599 citedByCount "6" @default.
- W2146607599 countsByYear W21466075992020 @default.
- W2146607599 countsByYear W21466075992023 @default.
- W2146607599 crossrefType "journal-article" @default.
- W2146607599 hasAuthorship W2146607599A5071742136 @default.
- W2146607599 hasAuthorship W2146607599A5084967888 @default.
- W2146607599 hasConcept C105795698 @default.
- W2146607599 hasConcept C111472728 @default.
- W2146607599 hasConcept C11413529 @default.
- W2146607599 hasConcept C114614502 @default.
- W2146607599 hasConcept C118615104 @default.
- W2146607599 hasConcept C126255220 @default.
- W2146607599 hasConcept C134306372 @default.
- W2146607599 hasConcept C138885662 @default.
- W2146607599 hasConcept C147764199 @default.
- W2146607599 hasConcept C151730666 @default.
- W2146607599 hasConcept C186399060 @default.
- W2146607599 hasConcept C2779343474 @default.
- W2146607599 hasConcept C2779530757 @default.
- W2146607599 hasConcept C3309909 @default.
- W2146607599 hasConcept C33923547 @default.
- W2146607599 hasConcept C41008148 @default.
- W2146607599 hasConcept C48372109 @default.
- W2146607599 hasConcept C77553402 @default.
- W2146607599 hasConcept C86803240 @default.
- W2146607599 hasConcept C94375191 @default.
- W2146607599 hasConceptScore W2146607599C105795698 @default.
- W2146607599 hasConceptScore W2146607599C111472728 @default.
- W2146607599 hasConceptScore W2146607599C11413529 @default.
- W2146607599 hasConceptScore W2146607599C114614502 @default.
- W2146607599 hasConceptScore W2146607599C118615104 @default.
- W2146607599 hasConceptScore W2146607599C126255220 @default.
- W2146607599 hasConceptScore W2146607599C134306372 @default.
- W2146607599 hasConceptScore W2146607599C138885662 @default.
- W2146607599 hasConceptScore W2146607599C147764199 @default.
- W2146607599 hasConceptScore W2146607599C151730666 @default.
- W2146607599 hasConceptScore W2146607599C186399060 @default.
- W2146607599 hasConceptScore W2146607599C2779343474 @default.
- W2146607599 hasConceptScore W2146607599C2779530757 @default.
- W2146607599 hasConceptScore W2146607599C3309909 @default.
- W2146607599 hasConceptScore W2146607599C33923547 @default.
- W2146607599 hasConceptScore W2146607599C41008148 @default.
- W2146607599 hasConceptScore W2146607599C48372109 @default.
- W2146607599 hasConceptScore W2146607599C77553402 @default.
- W2146607599 hasConceptScore W2146607599C86803240 @default.
- W2146607599 hasConceptScore W2146607599C94375191 @default.
- W2146607599 hasIssue "5" @default.
- W2146607599 hasLocation W21466075991 @default.
- W2146607599 hasOpenAccess W2146607599 @default.
- W2146607599 hasPrimaryLocation W21466075991 @default.
- W2146607599 hasRelatedWork W1536017524 @default.
- W2146607599 hasRelatedWork W1993456173 @default.
- W2146607599 hasRelatedWork W2011156106 @default.
- W2146607599 hasRelatedWork W2050921239 @default.
- W2146607599 hasRelatedWork W2066821750 @default.
- W2146607599 hasRelatedWork W2096239072 @default.
- W2146607599 hasRelatedWork W2307932686 @default.
- W2146607599 hasRelatedWork W2768055417 @default.
- W2146607599 hasRelatedWork W2963726605 @default.
- W2146607599 hasRelatedWork W4298365344 @default.
- W2146607599 hasVolume "25" @default.
- W2146607599 isParatext "false" @default.
- W2146607599 isRetracted "false" @default.
- W2146607599 magId "2146607599" @default.
- W2146607599 workType "article" @default.