Matches in SemOpenAlex for { <https://semopenalex.org/work/W2743807005> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2743807005 abstract "In this paper (This is a short paper accepted in the new ideas and work-in-progress section of SEFM 2017.) we introduce a technique to improve the efficiency of SAT calls in Bounded Model Checking (BMC) problems. The proposed technique is based on exploiting interpolation-based invariants as redundant constraints for BMC." @default.
- W2743807005 created "2017-08-17" @default.
- W2743807005 creator A5004060820 @default.
- W2743807005 creator A5016873722 @default.
- W2743807005 creator A5029739943 @default.
- W2743807005 creator A5075485175 @default.
- W2743807005 creator A5082103190 @default.
- W2743807005 date "2017-01-01" @default.
- W2743807005 modified "2023-09-27" @default.
- W2743807005 title "Interpolation-Based Learning as a Mean to Speed-Up Bounded Model Checking (Short Paper)" @default.
- W2743807005 cites W1510368738 @default.
- W2743807005 cites W1787074469 @default.
- W2743807005 cites W2139720682 @default.
- W2743807005 cites W4247202839 @default.
- W2743807005 doi "https://doi.org/10.1007/978-3-319-66197-1_25" @default.
- W2743807005 hasPublicationYear "2017" @default.
- W2743807005 type Work @default.
- W2743807005 sameAs 2743807005 @default.
- W2743807005 citedByCount "1" @default.
- W2743807005 countsByYear W27438070052018 @default.
- W2743807005 crossrefType "book-chapter" @default.
- W2743807005 hasAuthorship W2743807005A5004060820 @default.
- W2743807005 hasAuthorship W2743807005A5016873722 @default.
- W2743807005 hasAuthorship W2743807005A5029739943 @default.
- W2743807005 hasAuthorship W2743807005A5075485175 @default.
- W2743807005 hasAuthorship W2743807005A5082103190 @default.
- W2743807005 hasConcept C104114177 @default.
- W2743807005 hasConcept C110251889 @default.
- W2743807005 hasConcept C11413529 @default.
- W2743807005 hasConcept C126255220 @default.
- W2743807005 hasConcept C134306372 @default.
- W2743807005 hasConcept C137800194 @default.
- W2743807005 hasConcept C154945302 @default.
- W2743807005 hasConcept C33923547 @default.
- W2743807005 hasConcept C34388435 @default.
- W2743807005 hasConcept C41008148 @default.
- W2743807005 hasConcept C80444323 @default.
- W2743807005 hasConceptScore W2743807005C104114177 @default.
- W2743807005 hasConceptScore W2743807005C110251889 @default.
- W2743807005 hasConceptScore W2743807005C11413529 @default.
- W2743807005 hasConceptScore W2743807005C126255220 @default.
- W2743807005 hasConceptScore W2743807005C134306372 @default.
- W2743807005 hasConceptScore W2743807005C137800194 @default.
- W2743807005 hasConceptScore W2743807005C154945302 @default.
- W2743807005 hasConceptScore W2743807005C33923547 @default.
- W2743807005 hasConceptScore W2743807005C34388435 @default.
- W2743807005 hasConceptScore W2743807005C41008148 @default.
- W2743807005 hasConceptScore W2743807005C80444323 @default.
- W2743807005 hasLocation W27438070051 @default.
- W2743807005 hasOpenAccess W2743807005 @default.
- W2743807005 hasPrimaryLocation W27438070051 @default.
- W2743807005 hasRelatedWork W112550803 @default.
- W2743807005 hasRelatedWork W1509735216 @default.
- W2743807005 hasRelatedWork W186194336 @default.
- W2743807005 hasRelatedWork W1970980446 @default.
- W2743807005 hasRelatedWork W2007491350 @default.
- W2743807005 hasRelatedWork W2071634454 @default.
- W2743807005 hasRelatedWork W2106799743 @default.
- W2743807005 hasRelatedWork W2108174021 @default.
- W2743807005 hasRelatedWork W2158393828 @default.
- W2743807005 hasRelatedWork W2296357517 @default.
- W2743807005 hasRelatedWork W2362198528 @default.
- W2743807005 hasRelatedWork W2394648225 @default.
- W2743807005 hasRelatedWork W2767382859 @default.
- W2743807005 hasRelatedWork W2776858923 @default.
- W2743807005 hasRelatedWork W2787242234 @default.
- W2743807005 hasRelatedWork W2938781954 @default.
- W2743807005 hasRelatedWork W2951927232 @default.
- W2743807005 hasRelatedWork W3171882411 @default.
- W2743807005 hasRelatedWork W5667864 @default.
- W2743807005 hasRelatedWork W987325385 @default.
- W2743807005 isParatext "false" @default.
- W2743807005 isRetracted "false" @default.
- W2743807005 magId "2743807005" @default.
- W2743807005 workType "book-chapter" @default.