Matches in SemOpenAlex for { <https://semopenalex.org/work/W1510368738> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1510368738 endingPage "13" @default.
- W1510368738 startingPage "1" @default.
- W1510368738 abstract "We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark studies using a set of large industrial circuit verification instances, this method is greatly more efficient than BDD-based symbolic model checking, and compares favorably to some recent SAT-based model checking methods on positive instances." @default.
- W1510368738 created "2016-06-24" @default.
- W1510368738 creator A5047507250 @default.
- W1510368738 date "2003-01-01" @default.
- W1510368738 modified "2023-10-17" @default.
- W1510368738 title "Interpolation and SAT-Based Model Checking" @default.
- W1510368738 cites W1490969264 @default.
- W1510368738 cites W1494481937 @default.
- W1510368738 cites W1495266209 @default.
- W1510368738 cites W1501649906 @default.
- W1510368738 cites W1506660274 @default.
- W1510368738 cites W1518271219 @default.
- W1510368738 cites W1540883472 @default.
- W1510368738 cites W1787074469 @default.
- W1510368738 cites W1814068099 @default.
- W1510368738 cites W1836483134 @default.
- W1510368738 cites W1999997889 @default.
- W1510368738 cites W2044095368 @default.
- W1510368738 cites W2080267935 @default.
- W1510368738 cites W2090398333 @default.
- W1510368738 cites W2098244894 @default.
- W1510368738 cites W2142785340 @default.
- W1510368738 cites W2147348835 @default.
- W1510368738 doi "https://doi.org/10.1007/978-3-540-45069-6_1" @default.
- W1510368738 hasPublicationYear "2003" @default.
- W1510368738 type Work @default.
- W1510368738 sameAs 1510368738 @default.
- W1510368738 citedByCount "662" @default.
- W1510368738 countsByYear W15103687382012 @default.
- W1510368738 countsByYear W15103687382013 @default.
- W1510368738 countsByYear W15103687382014 @default.
- W1510368738 countsByYear W15103687382015 @default.
- W1510368738 countsByYear W15103687382016 @default.
- W1510368738 countsByYear W15103687382017 @default.
- W1510368738 countsByYear W15103687382018 @default.
- W1510368738 countsByYear W15103687382019 @default.
- W1510368738 countsByYear W15103687382020 @default.
- W1510368738 countsByYear W15103687382021 @default.
- W1510368738 countsByYear W15103687382022 @default.
- W1510368738 countsByYear W15103687382023 @default.
- W1510368738 crossrefType "book-chapter" @default.
- W1510368738 hasAuthorship W1510368738A5047507250 @default.
- W1510368738 hasBestOaLocation W15103687381 @default.
- W1510368738 hasConcept C104114177 @default.
- W1510368738 hasConcept C110251889 @default.
- W1510368738 hasConcept C111498074 @default.
- W1510368738 hasConcept C11413529 @default.
- W1510368738 hasConcept C13280743 @default.
- W1510368738 hasConcept C137800194 @default.
- W1510368738 hasConcept C154945302 @default.
- W1510368738 hasConcept C177264268 @default.
- W1510368738 hasConcept C185798385 @default.
- W1510368738 hasConcept C199360897 @default.
- W1510368738 hasConcept C205649164 @default.
- W1510368738 hasConcept C206880738 @default.
- W1510368738 hasConcept C23123167 @default.
- W1510368738 hasConcept C30888246 @default.
- W1510368738 hasConcept C41008148 @default.
- W1510368738 hasConcept C80444323 @default.
- W1510368738 hasConceptScore W1510368738C104114177 @default.
- W1510368738 hasConceptScore W1510368738C110251889 @default.
- W1510368738 hasConceptScore W1510368738C111498074 @default.
- W1510368738 hasConceptScore W1510368738C11413529 @default.
- W1510368738 hasConceptScore W1510368738C13280743 @default.
- W1510368738 hasConceptScore W1510368738C137800194 @default.
- W1510368738 hasConceptScore W1510368738C154945302 @default.
- W1510368738 hasConceptScore W1510368738C177264268 @default.
- W1510368738 hasConceptScore W1510368738C185798385 @default.
- W1510368738 hasConceptScore W1510368738C199360897 @default.
- W1510368738 hasConceptScore W1510368738C205649164 @default.
- W1510368738 hasConceptScore W1510368738C206880738 @default.
- W1510368738 hasConceptScore W1510368738C23123167 @default.
- W1510368738 hasConceptScore W1510368738C30888246 @default.
- W1510368738 hasConceptScore W1510368738C41008148 @default.
- W1510368738 hasConceptScore W1510368738C80444323 @default.
- W1510368738 hasLocation W15103687381 @default.
- W1510368738 hasOpenAccess W1510368738 @default.
- W1510368738 hasPrimaryLocation W15103687381 @default.
- W1510368738 hasRelatedWork W1510368738 @default.
- W1510368738 hasRelatedWork W1539201627 @default.
- W1510368738 hasRelatedWork W1572578464 @default.
- W1510368738 hasRelatedWork W1845114988 @default.
- W1510368738 hasRelatedWork W1952054528 @default.
- W1510368738 hasRelatedWork W2115279934 @default.
- W1510368738 hasRelatedWork W2139720682 @default.
- W1510368738 hasRelatedWork W2149299285 @default.
- W1510368738 hasRelatedWork W4283828617 @default.
- W1510368738 hasRelatedWork W2464196256 @default.
- W1510368738 isParatext "false" @default.
- W1510368738 isRetracted "false" @default.
- W1510368738 magId "1510368738" @default.
- W1510368738 workType "book-chapter" @default.