EasyChair Smart Slide
Faster LRAT Checking than Solving with CaDiCaL
Faster LRAT Checking than Solving with CaDiCaL