Matches in SemOpenAlex for { <https://semopenalex.org/work/W1995250013> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1995250013 abstract "In this paper, we present an adaptive dynamic variable ordering paradigm which is application-dependent and intended for symbolic model checking applications. The impact of the adaptive variable reordering approach is demonstrated on circuits from Intel's next-generation micro-processors. On large circuits, in particular, our algorithms make verification tasks that would never end finish successfully in a reasonable amount of time. Our approach, to the best of our knowledge, pioneers in applying successfully ROBDD-independent and application-specific heuristics to the domain of dynamic variable reordering." @default.
- W1995250013 created "2016-06-24" @default.
- W1995250013 creator A5032288384 @default.
- W1995250013 creator A5042840626 @default.
- W1995250013 date "1998-01-01" @default.
- W1995250013 modified "2023-09-25" @default.
- W1995250013 title "Adaptive variable reordering for symbolic model checking" @default.
- W1995250013 cites W1479888254 @default.
- W1995250013 cites W1491438721 @default.
- W1995250013 cites W1503170978 @default.
- W1995250013 cites W1608751818 @default.
- W1995250013 cites W1634111502 @default.
- W1995250013 cites W1822320350 @default.
- W1995250013 cites W1878071947 @default.
- W1995250013 cites W2002089154 @default.
- W1995250013 cites W2008009970 @default.
- W1995250013 cites W2078740228 @default.
- W1995250013 cites W2080267935 @default.
- W1995250013 cites W2100083403 @default.
- W1995250013 cites W2113246814 @default.
- W1995250013 cites W2118291360 @default.
- W1995250013 cites W2141472133 @default.
- W1995250013 cites W2141725526 @default.
- W1995250013 cites W2141750474 @default.
- W1995250013 cites W2145785237 @default.
- W1995250013 cites W2149479807 @default.
- W1995250013 cites W2160991071 @default.
- W1995250013 doi "https://doi.org/10.1145/288548.289054" @default.
- W1995250013 hasPublicationYear "1998" @default.
- W1995250013 type Work @default.
- W1995250013 sameAs 1995250013 @default.
- W1995250013 citedByCount "15" @default.
- W1995250013 countsByYear W19952500132012 @default.
- W1995250013 countsByYear W19952500132014 @default.
- W1995250013 crossrefType "proceedings-article" @default.
- W1995250013 hasAuthorship W1995250013A5032288384 @default.
- W1995250013 hasAuthorship W1995250013A5042840626 @default.
- W1995250013 hasConcept C110251889 @default.
- W1995250013 hasConcept C134306372 @default.
- W1995250013 hasConcept C182365436 @default.
- W1995250013 hasConcept C199360897 @default.
- W1995250013 hasConcept C23123167 @default.
- W1995250013 hasConcept C33923547 @default.
- W1995250013 hasConcept C41008148 @default.
- W1995250013 hasConcept C80444323 @default.
- W1995250013 hasConceptScore W1995250013C110251889 @default.
- W1995250013 hasConceptScore W1995250013C134306372 @default.
- W1995250013 hasConceptScore W1995250013C182365436 @default.
- W1995250013 hasConceptScore W1995250013C199360897 @default.
- W1995250013 hasConceptScore W1995250013C23123167 @default.
- W1995250013 hasConceptScore W1995250013C33923547 @default.
- W1995250013 hasConceptScore W1995250013C41008148 @default.
- W1995250013 hasConceptScore W1995250013C80444323 @default.
- W1995250013 hasLocation W19952500131 @default.
- W1995250013 hasOpenAccess W1995250013 @default.
- W1995250013 hasPrimaryLocation W19952500131 @default.
- W1995250013 hasRelatedWork W1583364777 @default.
- W1995250013 hasRelatedWork W1742935137 @default.
- W1995250013 hasRelatedWork W2138161962 @default.
- W1995250013 hasRelatedWork W2151898527 @default.
- W1995250013 hasRelatedWork W2152996796 @default.
- W1995250013 hasRelatedWork W2156717832 @default.
- W1995250013 hasRelatedWork W2338474599 @default.
- W1995250013 hasRelatedWork W2542590036 @default.
- W1995250013 hasRelatedWork W2571762577 @default.
- W1995250013 hasRelatedWork W2905905217 @default.
- W1995250013 isParatext "false" @default.
- W1995250013 isRetracted "false" @default.
- W1995250013 magId "1995250013" @default.
- W1995250013 workType "article" @default.