2 ms·

The 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 t

by nrfc 10y ago

The 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.