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

zazabap wants to merge 1 commit intomainCodingThrust/problem-reductions:mainfrom

issue/841-verify-naesat-setsplittingCodingThrust/problem-reductions:issue/841-verify-naesat-setsplittingCopy head branch name to clipboard