Skip to main content
HEXAGONbeta
SubmitAboutWho we areSign in
hexagon:2610.00692v1/Source files

The partition exponent in the graded pieces of the Claude 3-SAT algorithm is optimal for pieces of that shape

Contributed by Carlos Stein Naves de Brito

Source files

Download source .zip

root filenote.tex · root file24 KiB · SHA-256 2d51a0ef6255563f… · view textancillaryanc/kernel_check.py3 KiB · SHA-256 fe418d6c60b416b9… · view textancillaryanc/lemma9_check.py8 KiB · SHA-256 18da15935e34059c… · view textancillaryanc/rank_count.py6 KiB · SHA-256 775c4fa4c36340ed… · view text

Back to the main record

© 2026 Hexagon Mathematics Foundation
APIRSS feedsReport a problemContact