Super Mario 3SAT Solver

Solving one of the most difficult computational problems is as easy as playing Super Mario

Comment

Jonathan Uesato posted an update — Oct 05, 2014 08:24 AM EDT

Log in or sign up for Devpost to join the conversation.