Xishun Zhao
发表
Xishun Zhao,
2006
.
Xishun Zhao,
Shiguang Feng,
Shiguang Feng,
2013,
Math. Log. Q..
Oliver Kullmann,
Xishun Zhao,
O. Kullmann,
2015,
ArXiv.
Hans Kleine Büning,
Xishun Zhao,
2006,
SAT.
Xishun Zhao,
Shiguang Feng,
2014,
ArXiv.
Hans Kleine Büning,
Xishun Zhao,
2008,
SAT.
Oliver Kullmann,
Xishun Zhao,
2013,
Theor. Comput. Sci..
Hans Kleine Büning,
Xishun Zhao,
2003,
SAT.
Hans Kleine Büning,
Xishun Zhao,
2004,
Annals of Mathematics and Artificial Intelligence.
Livio Robaldo,
Xishun Zhao,
Xin Sun,
2018,
Future Gener. Comput. Syst..
Hans Kleine Büning,
Xishun Zhao,
Uwe Bubeck,
2009,
SAT.
Hans Kleine Büning,
Xishun Zhao,
H. K. Büning,
2008,
Theor. Comput. Sci..
Livio Robaldo,
Xishun Zhao,
Xin Sun,
2017,
J. Artif. Soc. Soc. Simul..
Quantum-enhanced Logic-based Blockchain I: Quantum Honest-success Byzantine Agreement and Qulogicoin
pdf
Xishun Zhao,
Quanlong Wang,
Xin Sun,
2018,
ArXiv.
Hans Kleine Büning,
Xishun Zhao,
H. K. Büning,
2005,
SAT.
Guangquan Lu,
Jian Yin,
Xishun Zhao,
2018,
Neural Computing and Applications.
Hans Kleine Büning,
Xishun Zhao,
Decheng Ding,
2000,
AI Commun..
Hans Kleine Büning,
Xishun Zhao,
2005,
Annals of Mathematics and Artificial Intelligence.
Xishun Zhao,
Yuping Shen,
2012,
Minds and Machines.
Fangzhen Lin,
Xishun Zhao,
Fangzhen Lin,
2004,
AAAI.
Guangquan Lu,
Jian Yin,
Xishun Zhao,
2020,
Pattern Recognit. Lett..
Oliver Kullmann,
Xishun Zhao,
O. Kullmann,
2012,
Theor. Comput. Sci..
Hans Kleine Büning,
Xishun Zhao,
2002,
Inf. Process. Lett..
Hans Kleine Büning,
Xishun Zhao,
H. K. Büning,
2007,
J. Satisf. Boolean Model. Comput..
Lu Zhou,
Chunhua Su,
Kim-Kwang Raymond Choo,
2018,
Future Gener. Comput. Syst..
Xishun Zhao,
Yuping Shen,
2013,
Science China Information Sciences.
Xishun Zhao,
2008,
Journal of Computer Science and Technology.
Oliver Kullmann,
Xishun Zhao,
O. Kullmann,
2010,
SAT.
Xishun Zhao,
Kexu Wang,
2019
.
Xishun Zhao,
Norbert Th. Müller,
2008,
Electron. Notes Theor. Comput. Sci..
Hans Kleine Büning,
Xishun Zhao,
Uwe Bubeck,
2005,
SAT.
Lirong Qiu,
Xishun Zhao,
Xin Sun,
2017,
J. Inf. Secur. Appl..
Xishun Zhao,
Yuping Shen,
2011,
ArXiv.
Oliver Kullmann,
Xishun Zhao,
2012,
SAT.
Xishun Zhao,
Norbert Th. Müller,
2008,
Electron. Notes Theor. Comput. Sci..
Xishun Zhao,
Paolo Liberatore,
2002,
Fundam. Informaticae.
Xishun Zhao,
Decheng Ding,
Decheng Ding,
2001,
Fundam. Informaticae.
Xishun Zhao,
Kexu Wang,
2019,
ArXiv.
Xishun Zhao,
Decheng Ding,
Decheng Ding,
2008,
Journal of Computer Science and Technology.
Xishun Zhao,
Decheng Ding,
2001,
Fundam. Informaticae.
Xishun Zhao,
Yuping Shen,
2010,
Journal of Computer Science and Technology.
Hans Kleine Büning,
Xishun Zhao,
H. K. Büning,
2003,
Discret. Appl. Math..
Hans Kleine Büning,
Xishun Zhao,
2004,
Logic versus Approximation.
Hans Kleine Büning,
K. Subramani,
Xishun Zhao,
2003,
SAT.
Hans Kleine Büning,
Xishun Zhao,
2001,
Electron. Notes Discret. Math..
Hans Kleine Büning,
Xishun Zhao,
Uwe Bubeck,
2011,
SAT.
Hans Kleine Büning,
K. Subramani,
Xishun Zhao,
2007,
Journal of Automated Reasoning.
Oliver Kullmann,
Xishun Zhao,
O. Kullmann,
2014,
arXiv.org.
Hans Kleine Büning,
Xishun Zhao,
2004,
SAT.
Xishun Zhao,
Yuping Shen,
Yuping Shen,
2014,
KR.
Hans Kleine Büning,
Xishun Zhao,
H. K. Büning,
2007,
J. Satisf. Boolean Model. Comput..
Hans Kleine Büning,
Xishun Zhao,
2008
.
Xishun Zhao,
2003,
AI Commun..
Stefan Porschen,
Ewald Speckenmeyer,
Xishun Zhao,
2009,
Discret. Appl. Math..
Xishun Zhao,
Jiankun He,
2016,
Frontiers of Computer Science.
Xishun Zhao,
Jiwei Jin,
Xishun Zhao,
2010,
J. Satisf. Boolean Model. Comput..
Oliver Kullmann,
Xishun Zhao,
O. Kullmann,
2016,
ArXiv.
Xishun Zhao,
Yuping Shen,
Jiankun He,
2014,
SETN.
Jörg Brendle,
Xishun Zhao,
Keng Meng Ng,
2015
.
Xishun Zhao,
De-cheng Ding,
Decheng Ding,
1999
.