Matches in SemOpenAlex for { <https://semopenalex.org/work/W1775639951> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1775639951 endingPage "813" @default.
- W1775639951 startingPage "810" @default.
- W1775639951 abstract "The goal of this work is to describe a new algorithm for finding the optimal variable order, number of nodes for any order and other ROBDD parameters, based on a tabular method. The tabular method makes use of a pre-built backend database table that stores the ROBDD size for selected combinations of min-terms. The user uses the backend table and the proposed algorithm to find the necessary ROBDD parameters, such as best variable order, number of nodes etc. Experimental results on benchmarks are given for this technique. Keywords—Tabular Method, Binary Decision Diagram, BDD Manipulation, Boolean Function." @default.
- W1775639951 created "2016-06-24" @default.
- W1775639951 creator A5040240836 @default.
- W1775639951 creator A5079424898 @default.
- W1775639951 creator A5088333699 @default.
- W1775639951 creator A5091144263 @default.
- W1775639951 date "2007-03-29" @default.
- W1775639951 modified "2023-10-18" @default.
- W1775639951 title "Selective Minterms Based Tabular Method for BDD Manipulations" @default.
- W1775639951 cites W1602476740 @default.
- W1775639951 cites W196307905 @default.
- W1775639951 cites W1995135231 @default.
- W1775639951 cites W2080267935 @default.
- W1775639951 cites W2108016168 @default.
- W1775639951 cites W2114297459 @default.
- W1775639951 cites W2135453964 @default.
- W1775639951 hasPublicationYear "2007" @default.
- W1775639951 type Work @default.
- W1775639951 sameAs 1775639951 @default.
- W1775639951 citedByCount "2" @default.
- W1775639951 countsByYear W17756399512014 @default.
- W1775639951 crossrefType "journal-article" @default.
- W1775639951 hasAuthorship W1775639951A5040240836 @default.
- W1775639951 hasAuthorship W1775639951A5079424898 @default.
- W1775639951 hasAuthorship W1775639951A5088333699 @default.
- W1775639951 hasAuthorship W1775639951A5091144263 @default.
- W1775639951 hasConcept C111012933 @default.
- W1775639951 hasConcept C11413529 @default.
- W1775639951 hasConcept C124101348 @default.
- W1775639951 hasConcept C134306372 @default.
- W1775639951 hasConcept C134835016 @default.
- W1775639951 hasConcept C14036430 @default.
- W1775639951 hasConcept C172967692 @default.
- W1775639951 hasConcept C182365436 @default.
- W1775639951 hasConcept C187455244 @default.
- W1775639951 hasConcept C199360897 @default.
- W1775639951 hasConcept C3309909 @default.
- W1775639951 hasConcept C33923547 @default.
- W1775639951 hasConcept C41008148 @default.
- W1775639951 hasConcept C45235069 @default.
- W1775639951 hasConcept C48372109 @default.
- W1775639951 hasConcept C7342684 @default.
- W1775639951 hasConcept C78458016 @default.
- W1775639951 hasConcept C80444323 @default.
- W1775639951 hasConcept C86803240 @default.
- W1775639951 hasConcept C94375191 @default.
- W1775639951 hasConceptScore W1775639951C111012933 @default.
- W1775639951 hasConceptScore W1775639951C11413529 @default.
- W1775639951 hasConceptScore W1775639951C124101348 @default.
- W1775639951 hasConceptScore W1775639951C134306372 @default.
- W1775639951 hasConceptScore W1775639951C134835016 @default.
- W1775639951 hasConceptScore W1775639951C14036430 @default.
- W1775639951 hasConceptScore W1775639951C172967692 @default.
- W1775639951 hasConceptScore W1775639951C182365436 @default.
- W1775639951 hasConceptScore W1775639951C187455244 @default.
- W1775639951 hasConceptScore W1775639951C199360897 @default.
- W1775639951 hasConceptScore W1775639951C3309909 @default.
- W1775639951 hasConceptScore W1775639951C33923547 @default.
- W1775639951 hasConceptScore W1775639951C41008148 @default.
- W1775639951 hasConceptScore W1775639951C45235069 @default.
- W1775639951 hasConceptScore W1775639951C48372109 @default.
- W1775639951 hasConceptScore W1775639951C7342684 @default.
- W1775639951 hasConceptScore W1775639951C78458016 @default.
- W1775639951 hasConceptScore W1775639951C80444323 @default.
- W1775639951 hasConceptScore W1775639951C86803240 @default.
- W1775639951 hasConceptScore W1775639951C94375191 @default.
- W1775639951 hasIssue "3" @default.
- W1775639951 hasLocation W17756399511 @default.
- W1775639951 hasOpenAccess W1775639951 @default.
- W1775639951 hasPrimaryLocation W17756399511 @default.
- W1775639951 hasRelatedWork W1533073907 @default.
- W1775639951 hasRelatedWork W1569007448 @default.
- W1775639951 hasRelatedWork W1976195070 @default.
- W1775639951 hasRelatedWork W2004523789 @default.
- W1775639951 hasRelatedWork W2019632800 @default.
- W1775639951 hasRelatedWork W2185830795 @default.
- W1775639951 hasRelatedWork W2465500477 @default.
- W1775639951 hasRelatedWork W2739498994 @default.
- W1775639951 hasRelatedWork W2898646080 @default.
- W1775639951 hasRelatedWork W2910958598 @default.
- W1775639951 hasRelatedWork W2990799970 @default.
- W1775639951 hasRelatedWork W3005181117 @default.
- W1775639951 hasRelatedWork W3011975706 @default.
- W1775639951 hasRelatedWork W3105334654 @default.
- W1775639951 hasRelatedWork W3140513832 @default.
- W1775639951 hasRelatedWork W32831924 @default.
- W1775639951 hasRelatedWork W97239786 @default.
- W1775639951 hasRelatedWork W1598230338 @default.
- W1775639951 hasRelatedWork W2286025536 @default.
- W1775639951 hasRelatedWork W2965313856 @default.
- W1775639951 hasVolume "1" @default.
- W1775639951 isParatext "false" @default.
- W1775639951 isRetracted "false" @default.
- W1775639951 magId "1775639951" @default.
- W1775639951 workType "article" @default.