Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences.
Ying ShengAndres NötzliAndrew ReynoldsYoni ZoharDavid L. DillWolfgang GrieskampJunkil ParkShaz QadeerClark W. BarrettCesare TinelliPublished in: J. Autom. Reason. (2023)
Keyphrases
- formal theory
- hidden markov models
- causal reasoning
- theoretical framework
- reasoning about physical systems
- input data
- np complete
- general theory
- propositional logic
- sat problem
- fixed length
- spatial reasoning
- theoretical basis
- variable length
- data sets
- satisfiability problem
- vector space
- feature vectors
- relational databases
- computational complexity