SemOpenAlex |

SemOpenAlex

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2183278541> ?p ?o ?g. }

Showing items 1 to 100 of ±142 with 100 items per page.

W2183278541 created "2016-06-24" @default.
W2183278541 creator A5017426974 @default.
W2183278541 creator A5088301538 @default.
W2183278541 date "2010-01-01" @default.
W2183278541 modified "2023-09-27" @default.
W2183278541 title "Efficient Solving of the Satisfiability Modulo Bit-Vectors Problem and Some Extensions to SMT" @default.
W2183278541 cites W1479859531 @default.
W2183278541 cites W1488271255 @default.
W2183278541 cites W1496488317 @default.
W2183278541 cites W1498875780 @default.
W2183278541 cites W1499997324 @default.
W2183278541 cites W1505872263 @default.
W2183278541 cites W1518705996 @default.
W2183278541 cites W1528279629 @default.
W2183278541 cites W1530458829 @default.
W2183278541 cites W1532099318 @default.
W2183278541 cites W1535956448 @default.
W2183278541 cites W1548812055 @default.
W2183278541 cites W1553068379 @default.
W2183278541 cites W1555854214 @default.
W2183278541 cites W157156687 @default.
W2183278541 cites W1579437898 @default.
W2183278541 cites W1583295953 @default.
W2183278541 cites W1593691693 @default.
W2183278541 cites W1720848645 @default.
W2183278541 cites W1741528175 @default.
W2183278541 cites W1775352280 @default.
W2183278541 cites W1775468415 @default.
W2183278541 cites W1836035163 @default.
W2183278541 cites W1865448657 @default.
W2183278541 cites W1919297764 @default.
W2183278541 cites W198821749 @default.
W2183278541 cites W2021705219 @default.
W2183278541 cites W2022846948 @default.
W2183278541 cites W2025339139 @default.
W2183278541 cites W2036085256 @default.
W2183278541 cites W2046239089 @default.
W2183278541 cites W2057361103 @default.
W2183278541 cites W2065793351 @default.
W2183278541 cites W2085380106 @default.
W2183278541 cites W2091968063 @default.
W2183278541 cites W2095210125 @default.
W2183278541 cites W2097699872 @default.
W2183278541 cites W2099380899 @default.
W2183278541 cites W2101512909 @default.
W2183278541 cites W2107470986 @default.
W2183278541 cites W2114555045 @default.
W2183278541 cites W2114917372 @default.
W2183278541 cites W2115207428 @default.
W2183278541 cites W2122919970 @default.
W2183278541 cites W2125142549 @default.
W2183278541 cites W2126662120 @default.
W2183278541 cites W2127491819 @default.
W2183278541 cites W2129591386 @default.
W2183278541 cites W2133527541 @default.
W2183278541 cites W2146110773 @default.
W2183278541 cites W2146148755 @default.
W2183278541 cites W2150082535 @default.
W2183278541 cites W2154211329 @default.
W2183278541 cites W2155180508 @default.
W2183278541 cites W2156728167 @default.
W2183278541 cites W2158798798 @default.
W2183278541 cites W2158995961 @default.
W2183278541 cites W2160089068 @default.
W2183278541 cites W2168910274 @default.
W2183278541 cites W2259232855 @default.
W2183278541 cites W2294371899 @default.
W2183278541 cites W3035334242 @default.
W2183278541 cites W3098346725 @default.
W2183278541 cites W78552530 @default.
W2183278541 cites W822410417 @default.
W2183278541 cites W2135773785 @default.
W2183278541 cites W2281785532 @default.
W2183278541 cites W2610477597 @default.
W2183278541 hasPublicationYear "2010" @default.
W2183278541 type Work @default.
W2183278541 sameAs 2183278541 @default.
W2183278541 citedByCount "0" @default.
W2183278541 crossrefType "journal-article" @default.
W2183278541 hasAuthorship W2183278541A5017426974 @default.
W2183278541 hasAuthorship W2183278541A5088301538 @default.
W2183278541 hasConcept C111797529 @default.
W2183278541 hasConcept C11413529 @default.
W2183278541 hasConcept C117011727 @default.
W2183278541 hasConcept C118615104 @default.
W2183278541 hasConcept C136119220 @default.
W2183278541 hasConcept C164155591 @default.
W2183278541 hasConcept C168773769 @default.
W2183278541 hasConcept C187455244 @default.
W2183278541 hasConcept C199360897 @default.
W2183278541 hasConcept C202444582 @default.
W2183278541 hasConcept C33923547 @default.
W2183278541 hasConcept C38652104 @default.
W2183278541 hasConcept C41008148 @default.
W2183278541 hasConcept C54732982 @default.
W2183278541 hasConcept C6943359 @default.
W2183278541 hasConcept C80444323 @default.
W2183278541 hasConcept C94375191 @default.
W2183278541 hasConceptScore W2183278541C111797529 @default.
W2183278541 hasConceptScore W2183278541C11413529 @default.