Login / Signup
Reasoning About Vectors Using an SMT Theory of Sequences.
Ying Sheng
Andres Nötzli
Andrew Reynolds
Yoni Zohar
David L. Dill
Wolfgang Grieskamp
Junkil Park
Shaz Qadeer
Clark W. Barrett
Cesare Tinelli
Published in:
IJCAR (2022)
Keyphrases
</>
formal theory
hidden markov models
computational model
theoretical framework
modulo theories
artificial intelligence
search engine
vector space
sequential patterns
variable length
qualitative reasoning
general theory
statistical machine translation