docs: verify reduction #841 — NAESatisfiability → SetSplitting#978

zazabap wants to merge 2 commits intomainCodingThrust/problem-reductions:mainfrom

verify-naesat-setsplitting-v2CodingThrust/problem-reductions:verify-naesat-setsplitting-v2Copy head branch name to clipboard