1,237 followers
New #UPCommons #Eprints To encode or to propagate? The best choice for each constraint in SAT http://t.co/jKlIuxxpSt
New #UPCommons #Eprints To encode or to propagate? The best choice for each constraint in SAT http://t.co/jKlIuxxpSt