Skip to content

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

Closed
zazabap wants to merge 2 commits into
mainfrom
verify-naesat-setsplitting-v2
Closed

docs: verify reduction #841 — NAESatisfiability → SetSplitting#978
zazabap wants to merge 2 commits into
mainfrom
verify-naesat-setsplitting-v2

docs: /verify-reduction #841 — NAESatisfiability → SetSplitting VERIFIED

983555d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar