Matches in SemOpenAlex for { <https://semopenalex.org/work/W82673139> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W82673139 abstract "BDDs give canonical forms of Boolean functions provided that the order of input variables is fixed, but the BDD for a given function can have many different forms depending on the permutation of the variables — and sometimes the size of BDDs greatly varies with the order. The size of BDDs determines not only the memory requirement but also the amount of execution time for their manipulation. The variable ordering algorithm is thus one of the most important issues in the application of BDDs." @default.
- W82673139 created "2016-06-24" @default.
- W82673139 creator A5011807509 @default.
- W82673139 date "1996-01-01" @default.
- W82673139 modified "2023-09-25" @default.
- W82673139 title "Variable Ordering for BDDs" @default.
- W82673139 doi "https://doi.org/10.1007/978-1-4613-1303-8_3" @default.
- W82673139 hasPublicationYear "1996" @default.
- W82673139 type Work @default.
- W82673139 sameAs 82673139 @default.
- W82673139 citedByCount "0" @default.
- W82673139 crossrefType "book-chapter" @default.
- W82673139 hasAuthorship W82673139A5011807509 @default.
- W82673139 hasConcept C110251889 @default.
- W82673139 hasConcept C11413529 @default.
- W82673139 hasConcept C121332964 @default.
- W82673139 hasConcept C134306372 @default.
- W82673139 hasConcept C14036430 @default.
- W82673139 hasConcept C182365436 @default.
- W82673139 hasConcept C187455244 @default.
- W82673139 hasConcept C21308566 @default.
- W82673139 hasConcept C24890656 @default.
- W82673139 hasConcept C3309909 @default.
- W82673139 hasConcept C33923547 @default.
- W82673139 hasConcept C41008148 @default.
- W82673139 hasConcept C78458016 @default.
- W82673139 hasConcept C80444323 @default.
- W82673139 hasConcept C86803240 @default.
- W82673139 hasConceptScore W82673139C110251889 @default.
- W82673139 hasConceptScore W82673139C11413529 @default.
- W82673139 hasConceptScore W82673139C121332964 @default.
- W82673139 hasConceptScore W82673139C134306372 @default.
- W82673139 hasConceptScore W82673139C14036430 @default.
- W82673139 hasConceptScore W82673139C182365436 @default.
- W82673139 hasConceptScore W82673139C187455244 @default.
- W82673139 hasConceptScore W82673139C21308566 @default.
- W82673139 hasConceptScore W82673139C24890656 @default.
- W82673139 hasConceptScore W82673139C3309909 @default.
- W82673139 hasConceptScore W82673139C33923547 @default.
- W82673139 hasConceptScore W82673139C41008148 @default.
- W82673139 hasConceptScore W82673139C78458016 @default.
- W82673139 hasConceptScore W82673139C80444323 @default.
- W82673139 hasConceptScore W82673139C86803240 @default.
- W82673139 hasLocation W826731391 @default.
- W82673139 hasOpenAccess W82673139 @default.
- W82673139 hasPrimaryLocation W826731391 @default.
- W82673139 hasRelatedWork W1805830851 @default.
- W82673139 hasRelatedWork W1975449960 @default.
- W82673139 hasRelatedWork W2071484093 @default.
- W82673139 hasRelatedWork W2107322910 @default.
- W82673139 hasRelatedWork W2109021772 @default.
- W82673139 hasRelatedWork W2121907509 @default.
- W82673139 hasRelatedWork W2124679800 @default.
- W82673139 hasRelatedWork W2129060213 @default.
- W82673139 hasRelatedWork W2147817475 @default.
- W82673139 hasRelatedWork W2149231873 @default.
- W82673139 hasRelatedWork W2149776892 @default.
- W82673139 hasRelatedWork W2173583205 @default.
- W82673139 hasRelatedWork W2380269837 @default.
- W82673139 hasRelatedWork W2381551943 @default.
- W82673139 hasRelatedWork W2416021645 @default.
- W82673139 hasRelatedWork W2935632405 @default.
- W82673139 hasRelatedWork W2950625729 @default.
- W82673139 hasRelatedWork W563565791 @default.
- W82673139 hasRelatedWork W2571811925 @default.
- W82673139 hasRelatedWork W2611893127 @default.
- W82673139 isParatext "false" @default.
- W82673139 isRetracted "false" @default.
- W82673139 magId "82673139" @default.
- W82673139 workType "book-chapter" @default.