Matches in SemOpenAlex for { <https://semopenalex.org/work/W4327810950> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4327810950 abstract "Given a formula $F$ of satisfiability modulo theory (SMT), the classical SMT solver tries to (1) abstract $F$ as a Boolean formula $F_B$, (2) find a Boolean solution to $F_B$, and (3) check whether the Boolean solution is consistent with the theory. Steps~{(2)} and (3) may need to be performed back and forth until a consistent solution is found. In this work, we develop a quantum SMT solver for the bit-vector theory. With the characteristic of superposition in quantum system, our solver is able to consider all the inputs simultaneously and check their consistency between Boolean and the theory domains in one shot." @default.
- W4327810950 created "2023-03-19" @default.
- W4327810950 creator A5001851397 @default.
- W4327810950 creator A5034725505 @default.
- W4327810950 creator A5072863865 @default.
- W4327810950 creator A5081018650 @default.
- W4327810950 date "2023-03-16" @default.
- W4327810950 modified "2023-09-29" @default.
- W4327810950 title "A Quantum SMT Solver for Bit-Vector Theory" @default.
- W4327810950 doi "https://doi.org/10.48550/arxiv.2303.09353" @default.
- W4327810950 hasPublicationYear "2023" @default.
- W4327810950 type Work @default.
- W4327810950 citedByCount "0" @default.
- W4327810950 crossrefType "posted-content" @default.
- W4327810950 hasAuthorship W4327810950A5001851397 @default.
- W4327810950 hasAuthorship W4327810950A5034725505 @default.
- W4327810950 hasAuthorship W4327810950A5072863865 @default.
- W4327810950 hasAuthorship W4327810950A5081018650 @default.
- W4327810950 hasBestOaLocation W43278109501 @default.
- W4327810950 hasConcept C111797529 @default.
- W4327810950 hasConcept C11413529 @default.
- W4327810950 hasConcept C118615104 @default.
- W4327810950 hasConcept C158465420 @default.
- W4327810950 hasConcept C164155591 @default.
- W4327810950 hasConcept C187455244 @default.
- W4327810950 hasConcept C199360897 @default.
- W4327810950 hasConcept C2776436953 @default.
- W4327810950 hasConcept C2778770139 @default.
- W4327810950 hasConcept C33923547 @default.
- W4327810950 hasConcept C41008148 @default.
- W4327810950 hasConcept C54732982 @default.
- W4327810950 hasConcept C6943359 @default.
- W4327810950 hasConcept C7342684 @default.
- W4327810950 hasConcept C80444323 @default.
- W4327810950 hasConceptScore W4327810950C111797529 @default.
- W4327810950 hasConceptScore W4327810950C11413529 @default.
- W4327810950 hasConceptScore W4327810950C118615104 @default.
- W4327810950 hasConceptScore W4327810950C158465420 @default.
- W4327810950 hasConceptScore W4327810950C164155591 @default.
- W4327810950 hasConceptScore W4327810950C187455244 @default.
- W4327810950 hasConceptScore W4327810950C199360897 @default.
- W4327810950 hasConceptScore W4327810950C2776436953 @default.
- W4327810950 hasConceptScore W4327810950C2778770139 @default.
- W4327810950 hasConceptScore W4327810950C33923547 @default.
- W4327810950 hasConceptScore W4327810950C41008148 @default.
- W4327810950 hasConceptScore W4327810950C54732982 @default.
- W4327810950 hasConceptScore W4327810950C6943359 @default.
- W4327810950 hasConceptScore W4327810950C7342684 @default.
- W4327810950 hasConceptScore W4327810950C80444323 @default.
- W4327810950 hasLocation W43278109501 @default.
- W4327810950 hasOpenAccess W4327810950 @default.
- W4327810950 hasPrimaryLocation W43278109501 @default.
- W4327810950 hasRelatedWork W1498612398 @default.
- W4327810950 hasRelatedWork W1505872263 @default.
- W4327810950 hasRelatedWork W1508466043 @default.
- W4327810950 hasRelatedWork W1601935780 @default.
- W4327810950 hasRelatedWork W2290714160 @default.
- W4327810950 hasRelatedWork W2486424993 @default.
- W4327810950 hasRelatedWork W2558119813 @default.
- W4327810950 hasRelatedWork W2787006615 @default.
- W4327810950 hasRelatedWork W2883329459 @default.
- W4327810950 hasRelatedWork W32483372 @default.
- W4327810950 isParatext "false" @default.
- W4327810950 isRetracted "false" @default.
- W4327810950 workType "article" @default.