bbchallenge / bbchallenge-proofs

Mathematical proofs of the bbchallenge project.
Creative Commons Attribution 4.0 International
16 stars 6 forks source link

Re-formulate the greedy Fit-FormulaTape using slicing, so that… #22

Closed UncombedCoconut closed 5 months ago

UncombedCoconut commented 5 months ago

…it is nearly self-explanatory.