Workshop “Theoretical Foundations of Applied SAT Solving”, Jan 19-24, Canada

Date: Sunday, January 19, 2014
Venue: Canada

Armin Biere co-organizes the unusual workshop, titled “Theoretical Foundations of Applied SAT Solving”, held in Canada.
The objective is to fill “the gap between the impressive progress on the engineering side and very slow progress on the theory side” (source).
Videos, presentations and more can be found at http://www.birs.ca/events/2014/5-day-workshops/14w5101/

Posted in Events, News