Reasoning About Vectors using an SMT Theory of Sequences
Authors: Ying Sheng, Andres Noetzli, Andrew Reynolds, Yoni Zohar, David Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark Barrett and Cesare Tinelli
Paper Information
| Title: | Reasoning About Vectors using an SMT Theory of Sequences |
| Authors: | Ying Sheng, Andres Noetzli, Andrew Reynolds, Yoni Zohar, David Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark Barrett and Cesare Tinelli |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | SMT, Theory of Sequences, Procedure |
| Pages: | 19 |
| Talk: | Aug 10 11:40 (Session 112D: Decidable Logics and Models) |
| Paper: |  |