11 citations · 39 across the 12 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.DM2010★ 11 cited
On variables with few occurrences in conjunctive normal forms
Oliver Kullmann, Xishun Zhao
We consider the question of the existence of variables with few occurrences in boolean conjunctive normal forms (clause-sets). Let mvd(F) for a clause-set F denote the minimal vari…
cs.LO2010
NP-Logic Systems and Model-Equivalence Reductions
Yuping Shen, Xishun Zhao
In this paper we investigate the existence of model-equivalence reduction between NP-logic systems which are logic systems with model existence problem in NP. It is shown that amon…