この資料をSMS送信: On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency