Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models. - HONGYU FAN; ZHIHANG SUN; FEI HE (ACM Transactions on Programming Languages & Systems, 2023)