SAT Conference 2013

Date: Monday, July 8, 2013
Venue: Helsinki, Finland

Armin Biere is in the Program Committee of the 16th International Conference on Theory and Applications of Satisfiability Testing.


Find more details at http://sat2013.cs.helsinki.fi/

Posted in Events, News