Video: Vijay Ganesh, "Timed PageRank and branching heuristics in CDCL SAT solvers"

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, 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

presentation

mpeg4

64M

http://www.birs.ca/events/2014/5-day-workshops/14w5101/videos

http://www.birs.ca/events/2014/5-day-workshops/14w5101/videos/watch/201401241129-Ganesh.html

Download this video (64M)