4 ms·
Is the data compressed and piped into a known compression algorithm, or is there some other technique used? I'd love to know how the actual program is run. Si
by dylanz 10y ago
Is the data compressed and piped into a known compression algorithm, or is there some other technique used? I'd love to know how the actual program is run. Side note... the visual output is really interesting to see, and I'll admit I crossed my eyes at it to see if I could see some sort of pattern (read: there was no sailboat).
- nrfc 10y agoThe authors used this tool: https://www.cs.utexas.edu/~marijn/drat-trim/ https://www.cs.utexas.edu/~marijn/drat-trim/ There are publications and examples on the website that explain how the compression the authors used works.