Video From 14w5101: Theoretical Foundations of Applied SAT Solving

Friday, January 24, 2014 11:29 - 12:00
Timed PageRank and branching heuristics in CDCL SAT solvers
Vijay Ganesh, Video: Timed PageRank and branching heuristics in CDCL SAT solvers
Vijay Ganesh, Video: Timed PageRank and branching heuristics in CDCL SAT solvers
Vijay Ganesh, Timed PageRank and branching heuristics in CDCL SAT solvers, Theoretical Foundations of Applied SAT Solving, BIRS, BIRS talk, 14w5101, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
64M
http://www.birs.ca/events/2014/5-day-workshops/14w5101/videos

Download this video (64M)

Other videos from this workshop