Zack Newsham (University of Waterloo) Modern CDCL SAT solvers routinely solve very large in- dustrial SAT instances in relatively short periods of time. It is clear that these solvers somehow... | From: GoogleTechTalks Views: 55 1 ratings | |
| Time: 17:49 | More in Science & Technology |
from Uploads by GoogleTechTalks http://ift.tt/1sQyMa1
