SMT Solving for the Theory of Ordering Constraints - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Cunjing Ge' in GoogleThis author has not been identified. Look up 'Feifei Ma' in GoogleThis author has not been identified. Look up 'Jeff Huang 0001' in GoogleThis author has not been identified. Look up 'Jian Zhang' in Google

runs on WebDSL