Vol-3184⫷ Vol-3185 ⫸Vol-3186
urn:nbn:de:0074-3185-0


Vol-3185/paper675⫷Vol-3185/paper9712⫸Vol-3185/paper1180
Maria Paola BonacinaNatarajan ShankarStéphane Lengrand

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