Cunjing Ge, Feifei Ma, Jeff Huang 0001, Jian Zhang. SMT Solving for the Theory of Ordering Constraints. In Xipeng Shen, Frank Mueller, James Tuck, editors, Languages and Compilers for Parallel Computing - 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers. Volume 9519 of Lecture Notes in Computer Science, pages 287-302, Springer, 2015. [doi]
Abstract is missing.