Matches in SemOpenAlex for { <https://semopenalex.org/work/W1551202246> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1551202246 endingPage "119" @default.
- W1551202246 startingPage "105" @default.
- W1551202246 abstract "Despite the ubiquity of ROBDDs in program analysis, and extensive literature on ROBDD minimisation, there is a dearth of work on approximating ROBDDs. The need for approximation arises because many ROBDD operations result in an ROBDD whose size is quadratic in the size of the inputs. Furthermore, if ROBDDs are used in abstract interpretation, the running time of the analysis is related not only to the complexity of the individual ROBDD operations but also the number of operations applied. The number of operations is, in turn, constrained by the number of times a Boolean function can be weakened before stability is achieved. This paper proposes a widening that can be used to both constrain the size of an ROBDD and also ensure that the number of times that it is weakened is bounded by some given constant. The widening can be used to either systematically approximate from above (i.e. derive a weaker function) or below (i.e. infer a stronger function)." @default.
- W1551202246 created "2016-06-24" @default.
- W1551202246 creator A5054073993 @default.
- W1551202246 creator A5063762504 @default.
- W1551202246 creator A5065442396 @default.
- W1551202246 date "2006-01-01" @default.
- W1551202246 modified "2023-10-14" @default.
- W1551202246 title "Widening ROBDDs with Prime Implicants" @default.
- W1551202246 cites W1486648617 @default.
- W1551202246 cites W1538241028 @default.
- W1551202246 cites W1543854702 @default.
- W1551202246 cites W2004541361 @default.
- W1551202246 cites W2019184769 @default.
- W1551202246 cites W2043100293 @default.
- W1551202246 cites W2054387606 @default.
- W1551202246 cites W2054616907 @default.
- W1551202246 cites W2054796180 @default.
- W1551202246 cites W2061438988 @default.
- W1551202246 cites W2079925704 @default.
- W1551202246 cites W2080267935 @default.
- W1551202246 cites W2108016168 @default.
- W1551202246 cites W2109150047 @default.
- W1551202246 cites W2335478831 @default.
- W1551202246 doi "https://doi.org/10.1007/11691372_7" @default.
- W1551202246 hasPublicationYear "2006" @default.
- W1551202246 type Work @default.
- W1551202246 sameAs 1551202246 @default.
- W1551202246 citedByCount "9" @default.
- W1551202246 countsByYear W15512022462012 @default.
- W1551202246 countsByYear W15512022462015 @default.
- W1551202246 countsByYear W15512022462021 @default.
- W1551202246 crossrefType "book-chapter" @default.
- W1551202246 hasAuthorship W1551202246A5054073993 @default.
- W1551202246 hasAuthorship W1551202246A5063762504 @default.
- W1551202246 hasAuthorship W1551202246A5065442396 @default.
- W1551202246 hasBestOaLocation W15512022461 @default.
- W1551202246 hasConcept C102487863 @default.
- W1551202246 hasConcept C11413529 @default.
- W1551202246 hasConcept C114614502 @default.
- W1551202246 hasConcept C118615104 @default.
- W1551202246 hasConcept C129844170 @default.
- W1551202246 hasConcept C134306372 @default.
- W1551202246 hasConcept C14036430 @default.
- W1551202246 hasConcept C158465420 @default.
- W1551202246 hasConcept C187455244 @default.
- W1551202246 hasConcept C199360897 @default.
- W1551202246 hasConcept C2524010 @default.
- W1551202246 hasConcept C2777027219 @default.
- W1551202246 hasConcept C2780654840 @default.
- W1551202246 hasConcept C3017489831 @default.
- W1551202246 hasConcept C3309909 @default.
- W1551202246 hasConcept C33923547 @default.
- W1551202246 hasConcept C34388435 @default.
- W1551202246 hasConcept C41008148 @default.
- W1551202246 hasConcept C78458016 @default.
- W1551202246 hasConcept C86803240 @default.
- W1551202246 hasConceptScore W1551202246C102487863 @default.
- W1551202246 hasConceptScore W1551202246C11413529 @default.
- W1551202246 hasConceptScore W1551202246C114614502 @default.
- W1551202246 hasConceptScore W1551202246C118615104 @default.
- W1551202246 hasConceptScore W1551202246C129844170 @default.
- W1551202246 hasConceptScore W1551202246C134306372 @default.
- W1551202246 hasConceptScore W1551202246C14036430 @default.
- W1551202246 hasConceptScore W1551202246C158465420 @default.
- W1551202246 hasConceptScore W1551202246C187455244 @default.
- W1551202246 hasConceptScore W1551202246C199360897 @default.
- W1551202246 hasConceptScore W1551202246C2524010 @default.
- W1551202246 hasConceptScore W1551202246C2777027219 @default.
- W1551202246 hasConceptScore W1551202246C2780654840 @default.
- W1551202246 hasConceptScore W1551202246C3017489831 @default.
- W1551202246 hasConceptScore W1551202246C3309909 @default.
- W1551202246 hasConceptScore W1551202246C33923547 @default.
- W1551202246 hasConceptScore W1551202246C34388435 @default.
- W1551202246 hasConceptScore W1551202246C41008148 @default.
- W1551202246 hasConceptScore W1551202246C78458016 @default.
- W1551202246 hasConceptScore W1551202246C86803240 @default.
- W1551202246 hasLocation W15512022461 @default.
- W1551202246 hasLocation W15512022462 @default.
- W1551202246 hasLocation W15512022463 @default.
- W1551202246 hasOpenAccess W1551202246 @default.
- W1551202246 hasPrimaryLocation W15512022461 @default.
- W1551202246 hasRelatedWork W140975054 @default.
- W1551202246 hasRelatedWork W1483931523 @default.
- W1551202246 hasRelatedWork W1536220277 @default.
- W1551202246 hasRelatedWork W1551202246 @default.
- W1551202246 hasRelatedWork W1553819740 @default.
- W1551202246 hasRelatedWork W1984038497 @default.
- W1551202246 hasRelatedWork W2407347952 @default.
- W1551202246 hasRelatedWork W257150968 @default.
- W1551202246 hasRelatedWork W2901091928 @default.
- W1551202246 hasRelatedWork W2585560138 @default.
- W1551202246 isParatext "false" @default.
- W1551202246 isRetracted "false" @default.
- W1551202246 magId "1551202246" @default.
- W1551202246 workType "book-chapter" @default.