3 ms·Drat-Trim: Efficient Checking and Trimming Using Expressive Clausal Proofs [pdf]3 points by luu 2y ago