Zhao, Xishun
- Quantum-enhanced Logic-based Blockchain I: Quantum Honest-success Byzantine Agreement and Qulogicoin
2018/05/17 by Xin Sun, Sun, Xin, Quanlong Wang +5 · 3 citations
Computer Science · Physics and Astronomy · #Blockchain Technology Applications and Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph) #cs.CR #quant-ph
- Unsatisfiable hitting clause-sets with three more clauses than variables
2016/04/05 by Oliver Kullmann, Xishun Zhao, Kullmann, Oliver +1 · 2 citations
Computer Science · Mathematics · #05B99 #05D99 #68R05 #Advanced Graph Theory Research #Combinatorics (math.CO) #Constraint Satisfaction and Optimization #Discrete Mathematics (cs.DM) #F.2.2 #FOS: Computer and information sciences #FOS: Mathematics #G.2.2 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #acm:05B99 #acm:05D99 #acm:68R05 #cs.DM #cs.LO #math.CO #msc:05B99 #msc:05D99 #msc:68R05