• Phase transitions for SAT problems http://www.birs.ca/events/2014/5-day-workshops/14w5101/videos/watch/201401231116-vardi.html 4 comments 6/6/2015 compsci