Xishun Zhao

Identifiers

• name variant Xishun Zhao 0.60 · backfill

Papers (8)

1. Quantum-enhanced Logic-based Blockchain I: Quantum Honest-success Byzantine Agreement and Qulogicoin quant-ph · 2018 · author #4
2. Unsatisfiable hitting clause-sets with three more clauses than variables cs.DM · 2016 · author #2
3. Parameters for minimal unsatisfiability: Smarandache primitive numbers and full clauses cs.DM · 2015 · author #2
4. Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas cs.LO · 2014 · author #2
5. Bounds for variables with few occurrences in conjunctive normal forms math.CO · 2014 · author #2
6. On Davis-Putnam reductions for minimally unsatisfiable clause-sets cs.DM · 2012 · author #2
7. Proof System for Plan Verification under 0-Approximation Semantics cs.AI · 2011 · author #1
8. On variables with few occurrences in conjunctive normal forms cs.DM · 2010 · author #2

Mentions

• 1505.02318 #2 · backfill · confidence 0.70 Xishun Zhao
• 1412.0320 #2 · backfill · confidence 0.70 Xishun Zhao
• 1408.0629 #2 · backfill · confidence 0.70 Xishun Zhao
• 1202.2600 #2 · backfill · confidence 0.70 Xishun Zhao
• 1108.5943 #1 · backfill · confidence 0.70 Xishun Zhao
• 1010.5756 #2 · backfill · confidence 0.70 Xishun Zhao

Frequent Coauthors

• Oliver Kullmann 5 shared papers
• Yuping Shen 2 shared papers
• Piotr Kulicki 1 shared papers
• Quanlong Wang 1 shared papers
• Xin Sun 1 shared papers