Linear singular-index conjecture for unsatisfiable hitting clause-sets
Linear singular-index conjecture for unsatisfiable hitting clause-sets
Let be the class of unsatisfiable hitting clause-sets of deficiency . Let denote the singular index of , and let be the set of singular variables of . Linear singular-index conjecture. For every there are and such that, for all with ,
The conjecture asks for a quantitative relation between the singular index and the number of singular variables. The source presents it as an open question in its discussion of singular tuples; no resolution is supplied.
Sources & referencesView supporting material
Primary source
Oliver Kullmann and Xishun Zhao, “On Davis-Putnam reductions for minimally unsatisfiable clause-sets”, arXiv:1202.2600 (2012).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.