Skip to content

docs: verify reduction #841 — NAE 3-SAT → Set Splitting - #983

Closed
isPANN wants to merge 5 commits into
mainfrom
verify/nae3sat-setsplitting-841
Closed

docs: verify reduction #841 — NAE 3-SAT → Set Splitting#983
isPANN wants to merge 5 commits into
mainfrom
verify/nae3sat-setsplitting-841

docs: /verify-reduction #841 — NAE 3-SAT → Set Splitting VERIFIED

e489546
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar