F6 instead of up-arrow

For years, during which I've owned several Apple keyboards [http://www.apple.com/shop/product/MB110LL/B/apple-keyboard-with-numeric-keypad-us-english?fnode=9d] , I've experienced »

Reducing 2-SAT to an implication graph

I'm taking Coursera's Advanced Algorithms and Complexity [http://www.coursera.org/learn/advanced-algorithms-and-complexity/] course as part of the Data-Structures and Algorithms Specialization »