Skip to content

Research: exact frame search certifies #741 and #626 providers frame-optimal (rediscovers #741; negative result) - #815

Open
Rohansguliani wants to merge 2 commits into
CrocSwap:mainfrom
Rohansguliani:rg/machine-search
Open

Research: exact frame search certifies #741 and #626 providers frame-optimal (rediscovers #741; negative result)#815
Rohansguliani wants to merge 2 commits into
CrocSwap:mainfrom
Rohansguliani:rg/machine-search

Frame-lift search: certify #741 (SW4 frame8) frame-optimal; solver re…

d8c8b40
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs