ITwitchToo

4 ms·

1. 1.▲
   by ITwitchToo 12y ago

   When you say "clause", do you mean a disjunction of literals in propositional logic? Because if so, I don't understand what you mean. Clauses don't have inputs. And when you say "resolve away", do you mean appl
2. 2.▲
   by ITwitchToo 12y ago

   I would like to respectfully disagree. I think you're simplifying the reason too much. I don't think it's the Ch function itself (and the rest of the compression function) that causes problems for the SAT solver. I think it&#
3. 3.▲
   by ITwitchToo 12y ago

   It is true in an absolute, mathematical sense that the search space gets smaller when you fix a variable to a particular value. However, by fixing a variable (and effectively removing it), you are also removing potential solutions from that
4. 4.▲
   by ITwitchToo 12y ago

   I guess you are referring to this part: "A very intriguing, and perhaps unintuitive property of the algorithm proposed is that with increasing bitcoin difficulty, or equally lower target, the search could become more efficient, at leas