Sheng, Ying; Nötzli, Andres; Reynolds, Andrew; Zohar, Yoni; Dill, David; Grieskamp, Wolfgang; Park, Junkil; Qadeer, Shaz; Barrett, Clark; Tinelli, Cesare Reasoning about vectors: satisfiability modulo a theory of sequences. (English) Zbl 07753651 J. Autom. Reasoning 67, No. 3, Paper No. 32, 34 p. (2023). MSC: 68V15 PDFBibTeX XMLCite \textit{Y. Sheng} et al., J. Autom. Reasoning 67, No. 3, Paper No. 32, 34 p. (2023; Zbl 07753651) Full Text: DOI
Sheng, Ying; Nötzli, Andres; Reynolds, Andrew; Zohar, Yoni; Dill, David; Grieskamp, Wolfgang; Park, Junkil; Qadeer, Shaz; Barrett, Clark; Tinelli, Cesare Reasoning about vectors using an SMT theory of sequences. (English) Zbl 07628185 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 125-143 (2022). MSC: 68V15 PDFBibTeX XMLCite \textit{Y. Sheng} et al., Lect. Notes Comput. Sci. 13385, 125--143 (2022; Zbl 07628185) Full Text: DOI arXiv
Sheng, Ying; Zohar, Yoni; Ringeissen, Christophe; Lange, Jane; Fontaine, Pascal; Barrett, Clark Polite combination of algebraic datatypes. (English) Zbl 07606342 J. Autom. Reasoning 66, No. 3, 331-355 (2022). MSC: 68V15 PDFBibTeX XMLCite \textit{Y. Sheng} et al., J. Autom. Reasoning 66, No. 3, 331--355 (2022; Zbl 07606342) Full Text: DOI arXiv
Sheng, Ying; Zohar, Yoni; Ringeissen, Christophe; Lange, Jane; Fontaine, Pascal; Barrett, Clark Politeness for the theory of algebraic datatypes. (English) Zbl 07614516 Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12166, 238-255 (2020). MSC: 68V15 PDFBibTeX XMLCite \textit{Y. Sheng} et al., Lect. Notes Comput. Sci. 12166, 238--255 (2020; Zbl 07614516) Full Text: DOI