The following publications are possibly variants of this publication:
- Combined Satisfiability Modulo Parametric TheoriesSava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli. TACAS 2007: 602-617 [doi]
- Reasoning About Vectors: Satisfiability Modulo a Theory of SequencesYing Sheng 0007, Andres Nötzli, Andrew Reynolds 0001, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli. JAR, 67(3):32, September 2023. [doi]
- Reasoning About Vectors: Satisfiability Modulo a Theory of SequencesYing Sheng 0007, Andres Nötzli, Andrew Reynolds 0001, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli. JAR, 67(3):32, September 2023. [doi]