Jin、Jiwei;赵西顺 量化单符号公式的分辨率。 (中文。英文摘要) Zbl 1240.68114号 科学学报。国立Sunyatseni大学 49,第1期,20-23(2010).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Jin}和\textit{X.Zhao},科学学报。国立大学Sunyatseni 49,No.1,20--23(2010;Zbl 1240.68114)
Jin、Jiwei;赵西顺 量化广义子句集的分解。 (英语) Zbl 1218.68161号 J.满意。布尔模型。计算。 7,第1期,17-34(2010).MSC公司:68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Jin}和\textit{X.Zhao},J.Satisfe。布尔模型。计算。7、1号、17-34(2010;Zbl 1218.68161)
保时捷、斯特凡;埃瓦尔德·斯佩肯迈耶;赵西顺 线性CNF公式和可满足性。 (英语) Zbl 1186.68223号 离散应用程序。数学。 157,第5期,1046-1068(2009).MSC公司:65年第68季度 05年6月15日 PDF格式BibTeX公司 XML格式引用 \textit{S.Porschen}等人,《离散应用》。数学。157,第5号,1046--1068(2009;Zbl 1186.68223) 全文: 内政部 链接
汉斯·克莱恩·勃宁;赵西顺 极小不可满足公式的某些子类的复杂性。 (英语) Zbl 1137.68028号 J.满意。布尔模型。计算。 3,编号1-2,1-17(2007).MSC公司:2015年第68季度 2017年第68季度 68卢比 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Kleine Büning}和\textit{X.Zhao},J.Satisfe。布尔模型。计算。3、编号1--2、1--17(2007;Zbl 1137.68028)
汉斯·克莱恩·勃宁;苏布拉马尼,K。;赵西顺 布尔函数作为量化布尔公式的模型。 (英语) Zbl 1126.03015号 J.汽车。推理 39,第1号,49-75(2007).MSC公司:03B05号 06E30年 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Kleine Büning}等人,J.Autom。推理39,No.1,49--75(2007;Zbl 1126.03015) 全文: 内政部
汉斯·克莱恩·勃宁;赵西顺 量化布尔公式的等效模型。 (英语) Zbl 1122.68471号 Hoos,Holger H.(编辑)等,可满足性测试的理论和应用。2004年5月10日至13日,加拿大不列颠哥伦比亚省温哥华市,2004年SAT第七届国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 3-540-27829-X/pbk)。计算机科学课堂讲稿3542224-234(2005)。MSC公司:60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Kleine Büning}和\textit{X.Zhao},Lect。注释计算。科学。3542,224--234(2005;Zbl 1122.68471) 全文: 内政部
汉斯·克莱恩·勃宁;赵西顺 关于量化布尔公式的模型。 (英语) 兹比尔1099.68056 沃尔夫冈·伦斯基(编辑),《逻辑与近似》。纪念迈克尔·里希特65岁生日的文章。柏林:施普林格出版社(ISBN 3-540-22562-5/pbk)。计算机科学课堂讲稿3075,18-32(2004)。MSC公司:60年第68季度 65年第68季度 06E30年 PDF格式BibTeX公司 XML格式引用 \textit{H.Kleine Büning}和\textit{X.Zhao},Lect。注释计算。科学。3075、18-32(2004年;Zbl 1099.68056) 全文: 内政部
赵西顺;丁德成 极小不可满足公式的两个可处理子类。 (英语) Zbl 0937.03009号 科学。中国,Ser。A类 42,第7期,720-731(1999).MSC公司:03B05号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhao}和\textit{D.Ding},科学。中国,Ser。A 42,编号7,720--731(1999;Zbl 0937.03009) 全文: 内政部