Matches in SemOpenAlex for { <https://semopenalex.org/work/W2792344003> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2792344003 abstract "Efficiently deciding reachability for model checking problems requires storing the entire state space. We provide an information theoretical lower bound for these storage requirements and demonstrate how it can be reached using a binary tree in combination with a compact hash table. Experiments confirm that the lower bound is reached in practice in a majority of cases, confirming the combinatorial nature of state spaces." @default.
- W2792344003 created "2018-03-29" @default.
- W2792344003 creator A5018667026 @default.
- W2792344003 date "2018-01-01" @default.
- W2792344003 modified "2023-09-27" @default.
- W2792344003 title "Optimal Storage of Combinatorial State Spaces" @default.
- W2792344003 cites W125115239 @default.
- W2792344003 cites W1526349202 @default.
- W2792344003 cites W1596602992 @default.
- W2792344003 cites W1603163314 @default.
- W2792344003 cites W1629693692 @default.
- W2792344003 cites W1842017652 @default.
- W2792344003 cites W1850929791 @default.
- W2792344003 cites W1864649459 @default.
- W2792344003 cites W195082763 @default.
- W2792344003 cites W1989329634 @default.
- W2792344003 cites W2080267935 @default.
- W2792344003 cites W2130413791 @default.
- W2792344003 cites W2141472133 @default.
- W2792344003 cites W2144528329 @default.
- W2792344003 cites W2152849336 @default.
- W2792344003 cites W2166801043 @default.
- W2792344003 cites W2170732565 @default.
- W2792344003 cites W2753568789 @default.
- W2792344003 cites W2755297013 @default.
- W2792344003 cites W2758909434 @default.
- W2792344003 cites W91372427 @default.
- W2792344003 doi "https://doi.org/10.1007/978-3-319-77935-5_19" @default.
- W2792344003 hasPublicationYear "2018" @default.
- W2792344003 type Work @default.
- W2792344003 sameAs 2792344003 @default.
- W2792344003 citedByCount "1" @default.
- W2792344003 countsByYear W27923440032019 @default.
- W2792344003 crossrefType "book-chapter" @default.
- W2792344003 hasAuthorship W2792344003A5018667026 @default.
- W2792344003 hasConcept C105795698 @default.
- W2792344003 hasConcept C113174947 @default.
- W2792344003 hasConcept C11413529 @default.
- W2792344003 hasConcept C114614502 @default.
- W2792344003 hasConcept C115908005 @default.
- W2792344003 hasConcept C134306372 @default.
- W2792344003 hasConcept C136643341 @default.
- W2792344003 hasConcept C197855036 @default.
- W2792344003 hasConcept C199360897 @default.
- W2792344003 hasConcept C3309909 @default.
- W2792344003 hasConcept C33923547 @default.
- W2792344003 hasConcept C41008148 @default.
- W2792344003 hasConcept C48103436 @default.
- W2792344003 hasConcept C67388219 @default.
- W2792344003 hasConcept C72434380 @default.
- W2792344003 hasConcept C77553402 @default.
- W2792344003 hasConcept C80444323 @default.
- W2792344003 hasConcept C99138194 @default.
- W2792344003 hasConceptScore W2792344003C105795698 @default.
- W2792344003 hasConceptScore W2792344003C113174947 @default.
- W2792344003 hasConceptScore W2792344003C11413529 @default.
- W2792344003 hasConceptScore W2792344003C114614502 @default.
- W2792344003 hasConceptScore W2792344003C115908005 @default.
- W2792344003 hasConceptScore W2792344003C134306372 @default.
- W2792344003 hasConceptScore W2792344003C136643341 @default.
- W2792344003 hasConceptScore W2792344003C197855036 @default.
- W2792344003 hasConceptScore W2792344003C199360897 @default.
- W2792344003 hasConceptScore W2792344003C3309909 @default.
- W2792344003 hasConceptScore W2792344003C33923547 @default.
- W2792344003 hasConceptScore W2792344003C41008148 @default.
- W2792344003 hasConceptScore W2792344003C48103436 @default.
- W2792344003 hasConceptScore W2792344003C67388219 @default.
- W2792344003 hasConceptScore W2792344003C72434380 @default.
- W2792344003 hasConceptScore W2792344003C77553402 @default.
- W2792344003 hasConceptScore W2792344003C80444323 @default.
- W2792344003 hasConceptScore W2792344003C99138194 @default.
- W2792344003 hasLocation W27923440031 @default.
- W2792344003 hasOpenAccess W2792344003 @default.
- W2792344003 hasPrimaryLocation W27923440031 @default.
- W2792344003 hasRelatedWork W1569724714 @default.
- W2792344003 hasRelatedWork W1976641633 @default.
- W2792344003 hasRelatedWork W2129362048 @default.
- W2792344003 hasRelatedWork W2145335345 @default.
- W2792344003 hasRelatedWork W2149564213 @default.
- W2792344003 hasRelatedWork W2261222965 @default.
- W2792344003 hasRelatedWork W2341677999 @default.
- W2792344003 hasRelatedWork W2401165632 @default.
- W2792344003 hasRelatedWork W2891732136 @default.
- W2792344003 hasRelatedWork W2903256317 @default.
- W2792344003 hasRelatedWork W2906165405 @default.
- W2792344003 hasRelatedWork W2951912990 @default.
- W2792344003 hasRelatedWork W2965013732 @default.
- W2792344003 hasRelatedWork W2965868507 @default.
- W2792344003 hasRelatedWork W2972859423 @default.
- W2792344003 hasRelatedWork W2998461763 @default.
- W2792344003 hasRelatedWork W3046407039 @default.
- W2792344003 hasRelatedWork W3104074232 @default.
- W2792344003 hasRelatedWork W3128674493 @default.
- W2792344003 hasRelatedWork W31976835 @default.
- W2792344003 isParatext "false" @default.
- W2792344003 isRetracted "false" @default.
- W2792344003 magId "2792344003" @default.
- W2792344003 workType "book-chapter" @default.