Composer's SAT solver


Comments are closed.

Great talk, not even complex!
You should try and make the tree diagram for the algo explanation a bit cleaner/clearer! :)

Walked in a bit late to this, but I'm glad I caught most of it. Granted, I was extremely sleepy when Nils presented this the previous year, but I felt the material really benefited from a longer time slot. Nils has also developed quite a knack for breaking down complex topics and real computer science into easily digestible presentations.