Matches in SemOpenAlex for { <https://semopenalex.org/work/W2110887257> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2110887257 abstract "In this paper we present new lower bounds on 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 runtime and quality of the lower bounds. Finally, a clever combination of old and new lower bounds results in a final lower bound, yielding a significant improvement. Experimental results show the efficiency of our approach." @default.
- W2110887257 created "2016-06-24" @default.
- W2110887257 creator A5071742136 @default.
- W2110887257 creator A5084967888 @default.
- W2110887257 date "2005-01-01" @default.
- W2110887257 modified "2023-09-23" @default.
- W2110887257 title "Lower bounds for dynamic BDD reordering" @default.
- W2110887257 cites W1977533508 @default.
- W2110887257 cites W2080267935 @default.
- W2110887257 cites W2100083403 @default.
- W2110887257 cites W2108016168 @default.
- W2110887257 cites W2109449313 @default.
- W2110887257 cites W2123879785 @default.
- W2110887257 cites W2128688130 @default.
- W2110887257 cites W2131324945 @default.
- W2110887257 cites W2132493982 @default.
- W2110887257 cites W2135453964 @default.
- W2110887257 cites W2141472133 @default.
- W2110887257 cites W2141501391 @default.
- W2110887257 cites W2149479807 @default.
- W2110887257 cites W2155672011 @default.
- W2110887257 doi "https://doi.org/10.1145/1120725.1120966" @default.
- W2110887257 hasPublicationYear "2005" @default.
- W2110887257 type Work @default.
- W2110887257 sameAs 2110887257 @default.
- W2110887257 citedByCount "1" @default.
- W2110887257 crossrefType "proceedings-article" @default.
- W2110887257 hasAuthorship W2110887257A5071742136 @default.
- W2110887257 hasAuthorship W2110887257A5084967888 @default.
- W2110887257 hasBestOaLocation W21108872572 @default.
- W2110887257 hasConcept C111472728 @default.
- W2110887257 hasConcept C11413529 @default.
- W2110887257 hasConcept C118615104 @default.
- W2110887257 hasConcept C126255220 @default.
- W2110887257 hasConcept C134306372 @default.
- W2110887257 hasConcept C138885662 @default.
- W2110887257 hasConcept C147764199 @default.
- W2110887257 hasConcept C151730666 @default.
- W2110887257 hasConcept C2779343474 @default.
- W2110887257 hasConcept C2779530757 @default.
- W2110887257 hasConcept C33923547 @default.
- W2110887257 hasConcept C41008148 @default.
- W2110887257 hasConcept C77553402 @default.
- W2110887257 hasConcept C86803240 @default.
- W2110887257 hasConceptScore W2110887257C111472728 @default.
- W2110887257 hasConceptScore W2110887257C11413529 @default.
- W2110887257 hasConceptScore W2110887257C118615104 @default.
- W2110887257 hasConceptScore W2110887257C126255220 @default.
- W2110887257 hasConceptScore W2110887257C134306372 @default.
- W2110887257 hasConceptScore W2110887257C138885662 @default.
- W2110887257 hasConceptScore W2110887257C147764199 @default.
- W2110887257 hasConceptScore W2110887257C151730666 @default.
- W2110887257 hasConceptScore W2110887257C2779343474 @default.
- W2110887257 hasConceptScore W2110887257C2779530757 @default.
- W2110887257 hasConceptScore W2110887257C33923547 @default.
- W2110887257 hasConceptScore W2110887257C41008148 @default.
- W2110887257 hasConceptScore W2110887257C77553402 @default.
- W2110887257 hasConceptScore W2110887257C86803240 @default.
- W2110887257 hasLocation W21108872571 @default.
- W2110887257 hasLocation W21108872572 @default.
- W2110887257 hasOpenAccess W2110887257 @default.
- W2110887257 hasPrimaryLocation W21108872571 @default.
- W2110887257 hasRelatedWork W1491899005 @default.
- W2110887257 hasRelatedWork W1604898313 @default.
- W2110887257 hasRelatedWork W2034393996 @default.
- W2110887257 hasRelatedWork W2117014006 @default.
- W2110887257 hasRelatedWork W2140233454 @default.
- W2110887257 hasRelatedWork W2140418760 @default.
- W2110887257 hasRelatedWork W2164287667 @default.
- W2110887257 hasRelatedWork W2581223690 @default.
- W2110887257 hasRelatedWork W3161430837 @default.
- W2110887257 hasRelatedWork W4233815414 @default.
- W2110887257 isParatext "false" @default.
- W2110887257 isRetracted "false" @default.
- W2110887257 magId "2110887257" @default.
- W2110887257 workType "article" @default.