Skip to content

[Critical] Remove KSatisfiability KN variant and short-clause constructors - #1225

Merged
GiggleLiu merged 5 commits into
feat/exact-tight-boundsfrom
refactor/remove-ksat-kn
Oct 29, 2026
Merged

[Critical] Remove KSatisfiability KN variant and short-clause constructors#1225
GiggleLiu merged 5 commits into
feat/exact-tight-boundsfrom
refactor/remove-ksat-kn

Align K3 reduction proofs with exact-width clauses

9b281d7
Select commit
Loading
Failed to load commit list.

There are no checks for this commit