Exploiting hierarchical encodings of equality to design independent strategies in parallel SMT decision procedures for a logic of equality | IEEE Conference Publication | IEEE Xplore