-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Freeze the 26–30-bit factoring CnC result with a matched-frontier control
benchmarksinstance generators, baselines, harnessinstance generators, baselines, harnessexperiment-gatego/no-go experiments for the paper thesisgo/no-go experiments for the paper thesisperformanceper-node cost reductionsper-node cost reductionsStatus: Open.#56 In OptimalBranching/boolean-inference;Freeze the 26–30-bit factoring crossover and cube-uniformity evidence
benchmarksinstance generators, baselines, harnessinstance generators, baselines, harnessexperiment-gatego/no-go experiments for the paper thesisgo/no-go experiments for the paper thesisperformanceper-node cost reductionsper-node cost reductionsStatus: Open.#55 In OptimalBranching/boolean-inference;Evaluate CnC generalization across circuit topologies, CNF encodings, and structured SAT families
benchmarksinstance generators, baselines, harnessinstance generators, baselines, harnessbranching-rulesgamma-optimal branching rule synthesisgamma-optimal branching rule synthesisexperiment-gatego/no-go experiments for the paper thesisgo/no-go experiments for the paper thesisStatus: Open.#53 In OptimalBranching/boolean-inference;Explain the CnC span reduction with a verified residual-structure audit
branching-rulesgamma-optimal branching rule synthesisgamma-optimal branching rule synthesisexperiment-gatego/no-go experiments for the paper thesisgo/no-go experiments for the paper thesisperformanceper-node cost reductionsper-node cost reductionsStatus: Open.#52 In OptimalBranching/boolean-inference;Build the hard-regime CnC work/span table on 64–80-bit UNSAT factoring
benchmarksinstance generators, baselines, harnessinstance generators, baselines, harnessperformanceper-node cost reductionsper-node cost reductionsStatus: Open.#51 In OptimalBranching/boolean-inference;