[HN Gopher] A Time Leap Challenge for Sat Solving ___________________________________________________________________ A Time Leap Challenge for Sat Solving Author : panic Score : 40 points Date : 2020-09-21 15:00 UTC (8 hours ago) (HTM) web link (arxiv.org) (TXT) w3m dump (arxiv.org) ___________________________________________________________________ (page generated 2020-09-21 23:01 UTC)