Skip to content

Add SetSplitting → NAE-SAT clause-per-subset reduction - #1195

Open
peda-cos wants to merge 1 commit into
CodingThrust:mainfrom
peda-cos:fix-set-splitting-naesat-1100
Open

Add SetSplitting → NAE-SAT clause-per-subset reduction#1195
peda-cos wants to merge 1 commit into
CodingThrust:mainfrom
peda-cos:fix-set-splitting-naesat-1100

feat: SetSplitting to NAE-SAT clause-per-subset reduction (#1100)

309c562
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs