Composer's SAT solver

Nils Adermann

Thursday 7 June 2012 from 16:20 to 07:15

Talk in English - US at Symfony Live Paris 2012
Track Name: Unconference
View Slides: http://www.naderman.de/slippy/src/?file=2012-06-07-Composers-SAT-Solver.html
Short URL: https://joind.in/talk/e8456 (QR-Code (opens in new window))

Avg. Rating

Composer's SAT solver

Comments

Comments are closed.

Kevin S at 13:17 on 8 Jun 2012

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

Jeremy Mikola at 23:12 on 10 Jul 2012

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.