Skip to main content
HEXAGON
beta
Submit
About
Who we are
Sign 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 file
note.tex · root file
24 KiB · SHA-256 2d51a0ef6255563f… · view text
ancillary
anc/kernel_check.py
3 KiB · SHA-256 fe418d6c60b416b9… · view text
ancillary
anc/lemma9_check.py
8 KiB · SHA-256 18da15935e34059c… · view text
ancillary
anc/rank_count.py
6 KiB · SHA-256 775c4fa4c36340ed… · view text
Back to the main record