Cheng，Xi（西成）；周敏（Zhou，Min）；宋晓宇；顾，明；孙家光 并行化SMT解决：惰性分解和调解。 （英语） Zbl 1444.68169号 Artif公司。智力。 257, 127-157 (2018).MSC公司：68T20型 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{X.Cheng}等人，Artif。智力。257、127--157（2018；Zbl 1444.68169） 全文： 内政部
杨国武；威廉·N·洪。；宋晓宇；郭文胜 一种基于转换的GSTE断言图蕴涵方法。 （英语） Zbl 1311.68091号 J.应用。数学。 2013年，文章ID 709071，第7页（2013年）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Yang}等人，J.Appl。数学。2013年，文章ID 709071，7 p.（2013；Zbl 1311.68091） 全文： 内政部
李，李；何开多；顾，明；宋晓宇 线性算术约束的等式检测。 （英语） Zbl 1237.91075号 浙江科技大学学报。A类 第10期，第12期，1784-1789（2009）.MSC公司：91B06型 90C05（二氧化碳） PDF格式BibTeX公司 XML格式引用 \textit{L.Li}等人，浙江科技大学。A 10，第12号，1784-1789（2009；Zbl 1237.91075） 全文： 内政部
莫赫塔里，Y。；萨伊德·阿贝德；O·艾特·穆罕默德。；南塔哈尔。；宋，X。 一种构造多路决策图的新方法。 （英语） Zbl 1161.68577号 Fitzgerald，John S.（编辑）等人，《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85761-7/pbk）。计算机科学课堂讲稿5160228-242（2008）。MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Mokhtari}等人，Lect。注释计算。科学。5160、228--242（2008年；Zbl 1161.68577） 全文： 内政部