Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences

Ying Sheng 0007, Andres Nötzli, Andrew Reynolds 0001, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli. Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences. Journal of Automated Reasoning, 67(3):32, September 2023. [doi]

Abstract

Abstract is missing.