[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)