CDSAT for Nondisjoint Theories with Shared Predicates: Arrays With Abstract Length.

Maria Paola Bonacina Stéphane Graham-Lengrand Natarajan Shankar CDSAT for Nondisjoint Theories with Shared Predicates: Arrays With Abstract Length. 18-37 2022 SMT https://ceur-ws.org/Vol-3185/paper9712.pdf conf/smt/2022 db/conf/smt/smt2022.html#BonacinaGS22