Invited Speakers: Aaron Bradley and Donald Knuth

11/11/2011 - 14:54
12/11/2011 - 14:54

We are honored to announce the following invited speakers at SAT 2012:

  • Aaron Bradley, Boulder, USA.

    "SAT-based Verification with IC3: Foundations and Demands"

  • Donald Knuth, Stanford, USA.

    "Satisfiability and The Art of Computer Programming"

More details in the "Invited Speakers" section.