Const
Free-variable ceiling for the satisfiability walk, applied to each group of interacting variables rather than to their total. Beyond it that group's answer is reported as "not determined" rather than paid for.
Free-variable ceiling for the satisfiability walk, applied to each group of interacting variables rather than to their total. Beyond it that group's answer is reported as "not determined" rather than paid for.