Xishun Zhao

发表

Xishun Zhao, Shiguang Feng, Shiguang Feng, 2013, Math. Log. Q..

Hans Kleine Büning, Xishun Zhao, 2006, 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, H. K. Büning, 2008, Theor. Comput. Sci..

Livio Robaldo, Xishun Zhao, Xin Sun, 2017, J. Artif. Soc. Soc. Simul..

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, 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, 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, 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, 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.

Hans Kleine Büning, Xishun Zhao, H. K. Büning, 2007, J. Satisf. Boolean Model. Comput..

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 .