Dependency Resolution with a SAT solver

Nils Adermann

Friday 4 March 2011 from 14:00 to 13:44

Talk in English - UK at Symfony Live 2011 - Paris
Track Name: Unconference
Short URL: https://joind.in/talk/06ca4 (QR-Code (opens in new window))

Avg. Rating

Dependency Resolution with a SAT solver

Comments

Comments are closed.

Stefan Koopmanschap at 15:31 on 4 Mar 2011

You are a *fast* speaker but this material went waaaay over my head. Nicely presented though

Jeremy Mikola at 23:35 on 11 Mar 2011

As much as I loved the subject (real Computer Science!), anyone would have needed more than ten minutes to adequately cover this material. Please consider turning this into a full-length presentation, perhaps after the package manager is implemented.