Comment on Solving SAT via Positive SupercompilationparentComments−NooneAtAll32ysad that SAT competition still hasn't moved from 00s and still is on httpSAT conferences aren't on youtube either :(
Comments
sad that SAT competition still hasn't moved from 00s and still is on http
SAT conferences aren't on youtube either :(