3 ms·
You may want to read "A Time Leap Challenge for SAT Solving". It's just a really fun paper: https://arxiv.org/abs/2008.02215 https://arxiv.org/abs/2008.02215
by sanxiyn 3y ago
You may want to read "A Time Leap Challenge for SAT Solving". It's just a really fun paper: https://arxiv.org/abs/2008.02215 https://arxiv.org/abs/2008.02215