Skip to content

feat(FineGrained): one #k-SAT counter with both bounds of Theorem 1.1 (single algorithm, p. 57) #2032

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
SamuelSchlesinger merged 7 commits into from
Oct 31, 2026
Merged

feat(FineGrained): one #k-SAT counter with both bounds of Theorem 1.1 (single algorithm, p. 57) #2032

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
cdd9f29
feat(FineGrained): fixed-density #k-SAT counting by tensor contractio…
SamuelSchlesinger Oct 31, 2026
b2677d8
feat(FineGrained): one #k-SAT counter with both bounds of Theorem 1.1…
SamuelSchlesinger Oct 31, 2026
0062da1
style(TensorNetwork/ClauseNetwork): replace a non-terminal bare simp …
SamuelSchlesinger Oct 31, 2026
873b569
Merge claude/thm11-fixed-density (simp only fix) into claude/thm11-si…
SamuelSchlesinger Oct 31, 2026
e35c322
refactor(FineGrained): reuse the model-count bound and name occurrenc…
SamuelSchlesinger Oct 31, 2026
7d8b51c
Merge claude/thm11-fixed-density (review fixes) into claude/thm11-sin…
SamuelSchlesinger Oct 31, 2026
6f8a8b0
Merge origin/main into claude/thm11-single-algorithm
SamuelSchlesinger Oct 31, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions Complexity.lean
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1396,6 +1396,7 @@ public import Complexity.Computability.Complexity.FineGrained.CountingSparsifica
public import Complexity.Computability.Complexity.FineGrained.CountingSparsificationUniform
public import Complexity.Computability.Complexity.FineGrained.CountingSparsifyContext
public import Complexity.Computability.Complexity.FineGrained.CountingTreeBound
public import Complexity.Computability.Complexity.FineGrained.DensityBranchCounting
public import Complexity.Computability.Complexity.FineGrained.ExhaustiveSearch
public import Complexity.Computability.Complexity.FineGrained.Exponents
public import Complexity.Computability.Complexity.FineGrained.GeneralCNFBranchSchedule
Expand Down
Loading
Loading