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

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

verify-naesatisfiability-setsplittingCodingThrust/problem-reductions:verify-naesatisfiability-setsplittingCopy head branch name to clipboard