Yet Another Comparison of SAT Encodings for the At-Most-K Constraint
arXiv: 2005.06274 · Summary page · arXiv
What changed between two versions of a paper. Changed results and numbers (before and after), conclusions, method, data, errors fixed, or only the writing, and whether the main results changed. And an email when a paper you follow gets a new version.