Closed x-tabdeveloping closed 1 month ago
Implemented the "strong words" strategy from Musil and Marecek (2024) in $S^3$. I set it to be the default because it performs better.
Implemented the "strong words" strategy from Musil and Marecek (2024) in $S^3$. I set it to be the default because it performs better.