Full Paper presentation in ICTAI'12

Post date: Oct 20, 2009 4:47:51 AM

Nov 2012: Massivel Parallel Local Search for SAT. Speaker: Alejandro Arbleaez