3 papers
quant-ph2018
Quantum-enhanced Logic-based Blockchain I: Quantum Honest-success Byzantine Agreement and Qulogicoin
Xin Sun, Quanlong Wang, Piotr Kulicki +1
We proposed a framework of quantum-enhanced logic-based blockchain, which improves the efficiency and power of quantum-secured blockchain. The efficiency is improved by using a new…
cs.DM2016
Unsatisfiable hitting clause-sets with three more clauses than variables
Oliver Kullmann, Xishun Zhao
The topic of this paper is the Finiteness Conjecture for minimally unsatisfiable clause-sets (MUs), stating that for each fixed deficiency (number of clauses minus number of variab…
cs.DM2015
Parameters for minimal unsatisfiability: Smarandache primitive numbers and full clauses
Oliver Kullmann, Xishun Zhao
We establish a new bridge between propositional logic and elementary number theory. The main objects are "minimally unsatisfiable clause-sets", short "MUs", unsatisfiable conjuncti…