Matches in SemOpenAlex for { <https://semopenalex.org/work/W2321761554> ?p ?o ?g. }
- W2321761554 abstract "last update: May 7, 2014 Copyright notice: some material contained in these slides is courtesy of Alessandro Cimatti, Alberto Griggio and Marco Roveri, who detain its copyright. All the other material is copyrighted by Roberto Sebastiani. Any commercial use of this material is strictly forbidden by the copyright laws without the authorization of the authors. No copy of these slides can be displayed in public without containing this copyright notice." @default.
- W2321761554 created "2016-06-24" @default.
- W2321761554 creator A5088301538 @default.
- W2321761554 date "2014-01-01" @default.
- W2321761554 modified "2023-09-26" @default.
- W2321761554 title "Efficient Boolean Reasoning Part 2: Satisfiability Modulo Theories" @default.
- W2321761554 cites W1481397690 @default.
- W2321761554 cites W1489527380 @default.
- W2321761554 cites W1499948164 @default.
- W2321761554 cites W1500991862 @default.
- W2321761554 cites W1505872263 @default.
- W2321761554 cites W1512564652 @default.
- W2321761554 cites W1515930456 @default.
- W2321761554 cites W1528842614 @default.
- W2321761554 cites W1531082202 @default.
- W2321761554 cites W1532176935 @default.
- W2321761554 cites W1541711253 @default.
- W2321761554 cites W1546818998 @default.
- W2321761554 cites W1548812055 @default.
- W2321761554 cites W1549117130 @default.
- W2321761554 cites W1552077729 @default.
- W2321761554 cites W1553068379 @default.
- W2321761554 cites W1568333198 @default.
- W2321761554 cites W1578141429 @default.
- W2321761554 cites W1579437898 @default.
- W2321761554 cites W1582116296 @default.
- W2321761554 cites W1593288312 @default.
- W2321761554 cites W1593691693 @default.
- W2321761554 cites W1601158010 @default.
- W2321761554 cites W1601833083 @default.
- W2321761554 cites W1605860778 @default.
- W2321761554 cites W169672073 @default.
- W2321761554 cites W1741528175 @default.
- W2321761554 cites W1775889152 @default.
- W2321761554 cites W1824587283 @default.
- W2321761554 cites W1868334863 @default.
- W2321761554 cites W1882377980 @default.
- W2321761554 cites W1948299783 @default.
- W2321761554 cites W1984364182 @default.
- W2321761554 cites W1988192943 @default.
- W2321761554 cites W2003690673 @default.
- W2321761554 cites W2020169768 @default.
- W2321761554 cites W2030670832 @default.
- W2321761554 cites W2055477538 @default.
- W2321761554 cites W2062787735 @default.
- W2321761554 cites W2064019550 @default.
- W2321761554 cites W2084294613 @default.
- W2321761554 cites W2094530979 @default.
- W2321761554 cites W2098467159 @default.
- W2321761554 cites W2110780548 @default.
- W2321761554 cites W2114037873 @default.
- W2321761554 cites W2114754094 @default.
- W2321761554 cites W2115134174 @default.
- W2321761554 cites W2115207428 @default.
- W2321761554 cites W2126626789 @default.
- W2321761554 cites W2129487583 @default.
- W2321761554 cites W2130178878 @default.
- W2321761554 cites W2153131284 @default.
- W2321761554 cites W2156269363 @default.
- W2321761554 cites W2157821202 @default.
- W2321761554 cites W2158995961 @default.
- W2321761554 cites W2159786179 @default.
- W2321761554 cites W2164778826 @default.
- W2321761554 cites W2276124093 @default.
- W2321761554 cites W2293606340 @default.
- W2321761554 cites W2466528871 @default.
- W2321761554 cites W56814239 @default.
- W2321761554 cites W17848177 @default.
- W2321761554 cites W2510540512 @default.
- W2321761554 hasPublicationYear "2014" @default.
- W2321761554 type Work @default.
- W2321761554 sameAs 2321761554 @default.
- W2321761554 citedByCount "0" @default.
- W2321761554 crossrefType "journal-article" @default.
- W2321761554 hasAuthorship W2321761554A5088301538 @default.
- W2321761554 hasConcept C108759981 @default.
- W2321761554 hasConcept C118615104 @default.
- W2321761554 hasConcept C144024400 @default.
- W2321761554 hasConcept C17744445 @default.
- W2321761554 hasConcept C190253527 @default.
- W2321761554 hasConcept C199360897 @default.
- W2321761554 hasConcept C199539241 @default.
- W2321761554 hasConcept C2779913896 @default.
- W2321761554 hasConcept C2781168864 @default.
- W2321761554 hasConcept C2987650672 @default.
- W2321761554 hasConcept C33923547 @default.
- W2321761554 hasConcept C34974158 @default.
- W2321761554 hasConcept C38652104 @default.
- W2321761554 hasConcept C41008148 @default.
- W2321761554 hasConcept C54732982 @default.
- W2321761554 hasConceptScore W2321761554C108759981 @default.
- W2321761554 hasConceptScore W2321761554C118615104 @default.
- W2321761554 hasConceptScore W2321761554C144024400 @default.
- W2321761554 hasConceptScore W2321761554C17744445 @default.
- W2321761554 hasConceptScore W2321761554C190253527 @default.
- W2321761554 hasConceptScore W2321761554C199360897 @default.
- W2321761554 hasConceptScore W2321761554C199539241 @default.
- W2321761554 hasConceptScore W2321761554C2779913896 @default.
- W2321761554 hasConceptScore W2321761554C2781168864 @default.
- W2321761554 hasConceptScore W2321761554C2987650672 @default.