On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency (Lecture Notes in Computer Science: FORTE 2015: Formal Techniques for Distributed Objects, Components, and Systems, 2015)

(untitled) - Horn, A; Kroening, D